Relational Operators & Characters
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]
≠ \[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]