\[DownTeeArrow] (Mathematica Character Name)

Unicode: 21A7. Infix arrow operator. x ↧ y is by default interpreted as DownTeeArrow[x,y]. Extensible character.

\[DownTee] (Mathematica Character Name)

Unicode: 22A4. Alias: Esc dT Esc. Infix operator. x ⊤ y is by default interpreted as DownTee[x,y].

\[EqualTilde] (Mathematica Character Name)

Unicode: 2242. Alias: Esc =~ Esc. Infix similarity operator. x ≂ y is by default interpreted as EqualTilde[x,y].

\[Exists] (Mathematica Character Name)

Unicode: 2203. Alias: Esc ex Esc. Compound operator. ∃_xy is by default interpreted as Exists[x,y].

\[ForAll] (Mathematica Character Name)

Unicode: 2200. Alias: Esc fa Esc. Compound operator. ∀_xy is by default interpreted as ForAll[x,y].

\[GreaterEqualLess] (Mathematica Character Name)

Unicode: 22DB. Infix ordering operator. x ⋛ y is by default interpreted as GreaterEqualLess[x,y].

\[GreaterFullEqual] (Mathematica Character Name)

Unicode: 2267. Infix ordering operator. x ≧ y is by default interpreted as GreaterFullEqual[x,y].

\[GreaterGreater] (Mathematica Character Name)

Unicode: 226B. Infix ordering operator. x ≫ y is by default interpreted as GreaterGreater[x,y]. Not the same as \[RightGuillemet].

\[GreaterLess] (Mathematica Character Name)

Unicode: 2277. Infix ordering operator. x ≷ y is by default interpreted as GreaterLess[x,y].

\[GreaterSlantEqual] (Mathematica Character Name)

Unicode: 2A7E. Alias: Esc >/ Esc. Infix operator with built-in evaluation rules. x ⩾ y is by default interpreted as GreaterEqual[x,y].