It's just a programming font ligature. If you copy and paste it you'll see the actual characters e.g.

   auto main() -> int {