![](https://secure.gravatar.com/avatar/49e63acb01f2ca80efce7eed08310ce8.jpg?s=120&d=mm&r=g)
19 Jul
2006
19 Jul
'06
5:18 p.m.
Taco Hoekwater wrote:
Aditya,
Aditya Mahajan wrote:
Great. Now we can redefine arrows in font specific scenarios. For mapsto I think that a global redefinition in math-ext to
Are you keeping track of all those math-ext.tex extensions today?
i'll make an alpha release ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------