21 Jul
2006
21 Jul
'06
5:19 p.m.
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