Comment by quietbritishjim

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.)