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?
Taco