[texhax] FW: Arrow head too large on \overarrowright
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?
More information about the texhax