6 Nov
2010
6 Nov
'10
2:01 p.m.
On Nov 6, 2010, at 3:56 AM, Stephen Tetley wrote:
Modern browsers might add in arrow from a different font if it is not present in the one chosen by the web page author - I suspect this is happening on this page where the arrow "looks wrong" typographically:
I don't think that's what's going on. Notice that the font used in that page is fixed width. The arrow looks wrong because it has to fit in a fixed width space. Fixed width arrows all look stubby, even if they are styled like the rest of the font. Very few programming fonts have arrows or other symbols. When I played around with UnicodeSyntax, I tried lots of different fonts. The only one I found that is halfway readable is GNU Unifont (at unifoundry.com)