\[DoubleUpArrow] (Mathematica Character Name)

Unicode: 21D1. Infix arrow operator. x ⇑ y is by default interpreted as DoubleUpArrow[x,y]. Extensible character.

\[DownLeftTeeVector] (Mathematica Character Name)

Unicode: 295E. Infix arrow-like operator. x ⥞ y is by default interpreted as DownLeftTeeVector[x,y]. Extensible character.

\[DownLeftVectorBar] (Mathematica Character Name)

Unicode: 2956. Infix arrow-like operator. x ⥖ y is by default interpreted as DownLeftVectorBar[x,y]. Extensible character.

\[DownRightTeeVector] (Mathematica Character Name)

Unicode: 295F. Infix arrow-like operator. x ⥟ y is by default interpreted as DownRightTeeVector[x,y]. Extensible character.

\[DownRightVectorBar] (Mathematica Character Name)

Unicode: 2957. Infix arrow-like operator. x ⥗ y is by default interpreted as DownRightVectorBar[x,y]. Extensible character.

\[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].

\[NestedGreaterGreater] (Mathematica Character Name)

Unicode: 2AA2. Infix ordering operator. x ⪢ y is by default interpreted as NestedGreaterGreater[x,y].

\[NotExists] (Mathematica Character Name)

Unicode: 2204. Alias: Esc !ex Esc. Compound operator. ∄_xy is by default interpreted as NotExists[x,y].

\[Not] (Mathematica Character Name)

Unicode: 00AC. Aliases: Esc ! Esc, Esc not Esc. Prefix operator with built-in evaluation rules. ¬ x is by default interpreted as Not[x], equivalent to !x.