News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.