![](https://secure.gravatar.com/avatar/c5ae4f9aa0d3a9bd5376e92b322c3e50.jpg?s=120&d=mm&r=g)
19 Jul
2006
19 Jul
'06
9:01 a.m.
On Wed, 19 Jul 2006, 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 am (rather I hope I am). I will send an updated math-ext.tex once I can figure something about harpoons. Aditya