Re:Dev Fonts
by quarantine on Friday November 20, 2020 @08:00AM
(#25160009)
The Unicode arrow looks smaller and is positioned lower, while the ligature has the same size as -> with the dash extended into the 'arrow'. Not that I use this frequently.
[ Parent
| on HN ]
There are no comments on this comment yet.