On Friday, 3 June 2016 at 22:38:38 UTC, Walter Bright wrote: > If a font choice changes the meaning then it is not a font. Nah, then it is an Awesome Font that is totally Web Scale! i wish i was making that up http://fontawesome.io/ i hate that thing But, it is kinda legal: gotta love the Unicode private use area!