Unicode: 22A2. Alias: Esc rT Esc. Infix operator. x ⊢ y is by default interpreted as RightTee[x,y]. x ⊢ y ⊢ z groups as x ⊢ (y ⊢ z). Used in mathematics to indicate logical ...

Unicode: 22B3. Infix ordering operator. x ⊳ y is by default interpreted as RightTriangle[x,y]. Used in pure mathematics to mean 'contains as a normal subgroup'.

Unicode: F51F. Alias: Esc :> Esc. Infix operator with built-in evaluation rules. x  y is by default interpreted as x:>y or RuleDelayed[x,y]. x  y  z groups as x  (y  z).

Unicode: F522. Alias: Esc -> Esc. Infix operator with built-in evaluation rules. x  y is by default interpreted as x->y or Rule[x,y]. x  y  z groups as x  (y  z). ...

Unicode: F520. Alias: Esc sq Esc. Prefix operator.  x is by default interpreted as Square[x]. Used in mathematical physics to denote the d'Alembertian operator. Sometimes ...

Unicode: 2282. Alias: Esc sub Esc. Infix set relation operator. x ⊂ y is by default interpreted as Subset[x,y]. Usually used in mathematics to indicate subset; sometimes ...

Unicode: 220D. Alias: Esc st Esc. Infix operator. x ∍ y is by default interpreted as SuchThat[x,y]. x ∍ y ∍ z groups as x ∍ (y ∍ z). Not the same as \[ReverseElement].

Unicode: 2283. Alias: Esc sup Esc. Infix set relation operator. x ⊃ y is by default interpreted as Superset[x,y]. Usually used in mathematics to indicate superset; sometimes ...

Unicode: 2234. Alias: Esc tf Esc. Infix operator. x ∴ y is by default interpreted as Therefore[x,y]. x ∴ y ∴ z groups as x ∴ (y ∴ z).

Unicode: 2005. Alias: Esc ␣␣ ␣␣ Esc. Spacing character. Width: 5/18 em. Interpreted by default just like an ordinary \[RawSpace].