RANT: While I know that language changes all the time, I find it very unfortunate that this little fellow o/ and possibly his slightly more formal friend o7 have become synonymous with “nazi salute”. First off, it’s the wrong arm! And second off, what do you have against “man waving” and “man saluting”?

Have they really? Never seen o7 used that way, with o/ it’s more understandable, but since one can easily just use \o (or use an actual unicode swastika) I just don’t see it getting that controversial. Seems even less known than the triple parentheses thing, which is something that most people who don’t spend their lives on the internet never heard about.