July 29, 2015
1:58 p.m.
On Jul 29, 2015, at 3:03 AM, Paul Eggert <eggert@CS.UCLA.EDU> wrote:
* africa, asia, europe, southamerica: In commentary, be more consistent about using № (U+2116 NUMERO SIGN) for number sign, as opposed to "No.", "Nº", "#", etc.
I don’t think it’s a good idea to use an obscure Unicode character that a lot of people won’t be able to display. It’s one thing to use proper letters with diacriticals. But “No.” is perfectly clear. The proposed character is just a rather ugly ligature for that abbreviation. paul