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