<> is simply "<" or ">" in the same way you have >= (">" or "=") and <= ("<" or "=").

It's obviously not meant to look like ≠.