![](https://secure.gravatar.com/avatar/c5ae4f9aa0d3a9bd5376e92b322c3e50.jpg?s=120&d=mm&r=g)
21 Jul
2006
21 Jul
'06
11:19 a.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