[sigzero]

I would definitely use the ASCII versions.

[Pet_Ant]

Why? It's less readable. I like how JetBrains in recent releases renders ">=" as a single glyph. I mean maybe for typing, I see that as a benefit, but I'd hope my IDE would replace them with the proper Unicode character.