Known anomalies in Unicode character names (2017) by from Hacker News on 2020-05-20 19:05 (#53QA5) Comments