[texhax] FW: Arrow head too large on \overarrowright

Bob Tennent rdt at cs.queensu.ca
Tue Dec 31 13:36:33 CET 2013


 >|copy and paste ...

I did.  I guess my browser changed m at th into m at th. Or was it
the tug.org website? 

Bob


More information about the texhax mailing list