Hi all, Thanks to Hans and Taco, we now have extensible arrows in context. To see how to use them, have a look at
http://dl.contextgarden.net/myway/matharrows.pdf Aditya _______________________________________________ ntg-context mailing list ntg-context@ntg.nl http://www.ntg.nl/mailman/listinfo/ntg-context
