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

[Bob Tennent]

 >| with stix package you get the same, IMO, nice looking arrows even with 
 >| PDFTeX.

The stix package has only otf files.

Bob T.