>"Bad" typography isn't a big deal IMO. Yes, it's slightly embarrassing and ugly, in this Unicode-enabled era, that we use <= for "less than or equal to" and != for "not equal to", when Unicode has given us better glyphs. But honestly, I don't see how that costs us much time to get used to.

<= and != are easier to type than using alt-codes for unicode characters. Unless you want your programming language to come with a keyboard driver for every OS that only is used for that language, there is no reason to use it.