I recently rejected some edits to previous posts of mine that used Gb
, F#
notation where the edit was just replacing these notations with G♭
and F♯
, using Unicode code points U+266D–U+266F.
Personally I don't see a point to this — the unicode chars are harder to type and leave more room for error on the rendering side, so I think we should leave it up to the author and seek internal consistency. I rejected the edits as not substantive.
Not wearing the mod hat anymore, I'm not too worried about this, but seeing that the proposed edit was from an enthusiastic new user, I think we should have some guidance on the books: should we proactively be mopping up old posts to use the new unicode glyphs, a la Wikipedia? Yea or nay?