The not equals sign is ≠ so it was just a way of recreating it using the regular characters on a keyboard.

Michael.