It's just a programming font ligature. If you copy and paste it you'll see the actual characters e.g.
auto main() -> int {
(It's also modern C++ trailing return type.)I enjoy that because I have my browser monospace font set to be one that also has those ligatures, your comment isn't enlightening at all (I set it up that way though, so it's not a problem for me :P )
Why would anybody think more words more better?