Mathematica supports a large collection of relational operator characters, each of which can also be used as an element of
Mathematica syntax, representing a formal operator named after the character.
Congruent,
... — operators displayed and input using special characters