The Wolfram Language supports a large collection of relational operator characters, each of which can also be used as an element of Wolfram Language syntax, representing a formal operator named after the character.

\[Congruent], ... — special characters

Congruent, ... — operators displayed and input using special characters

Similarity and Equivalence

 \[Equal]  ▪  ≃ \[TildeEqual]  ▪  ≂ \[EqualTilde]  ▪  ≅ \[TildeFullEqual]

∼ \[Tilde]  ▪  ≈ \[TildeTilde]  ▪  ≏ \[HumpEqual]  ▪  ≎ \[HumpDownHump]

≡ \[Congruent]  ▪  ≍ \[CupCap]

≠ \[NotEqual]  ▪    ▪  ≄  ▪  ≇  ▪  ≁  ▪  ≉  ▪    ▪    ▪  ≢  ▪  ≭

≐ \[DotEqual]  ▪  ∝ \[Proportional]  ▪  ∷ \[Proportion]

Ordering by Magnitude

≤ \[LessEqual]  ▪  ⩽ \[LessSlantEqual]  ▪  ≦ \[LessFullEqual]  ▪  ≲ \[LessTilde]

≥ \[GreaterEqual]  ▪  ⩾  ▪  ≧  ▪  ≳

≶ \[LessGreater]  ▪  ≷ \[GreaterLess]  ▪  ⋚  ▪  ⋛

≮ \[NotLess]  ▪  ≰  ▪    ▪  ≨  ▪  ≴  ▪  ≯  ▪  ≱  ▪    ▪  ≩  ▪  ≵  ▪  ≸  ▪  ≹

Relations in Sets

⊂ \[Subset]  ▪  ⊆ \[SubsetEqual]  ▪  ⊃ \[Superset]  ▪  ⊇

⊄ \[NotSubset]  ▪  ⊈  ▪  ⊅  ▪  ⊉

∈ \[Element]  ▪  ∋ \[ReverseElement]  ▪  ∉ \[NotElement]  ▪  ∌

⊏ \[SquareSubset]  ▪  ⊑  ▪  ⊐  ▪  ⊒  ▪    ▪  ⋢  ▪    ▪  ⋣

Other Orderings

≺ \[Precedes]  ▪  ⪯ \[PrecedesEqual]  ▪  ≼  ▪  ≾

≻ \[Succeeds]  ▪  ⪰  ▪  ≽  ▪  ≿  ▪  ⊀  ▪    ▪  ⋠  ▪  ⋨  ▪  ⊁  ▪    ▪  ⋡  ▪  ⋩

⊲ \[LeftTriangle]  ▪  ⊴ \[LeftTriangleEqual]  ▪  ⧏ \[LeftTriangleBar]

⊳ \[RightTriangle]  ▪  ⊵  ▪  ⧐  ▪  ⋪  ▪  ⋬  ▪    ▪  ⋫  ▪  ⋭  ▪  