\[DownRightVectorBar] (Mathematica Character Name)

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

\[EmptyDiamond] (Mathematica Character Name)

Unicode: 25C7. Letter-like form.

\[EmptyRectangle] (Mathematica Character Name)

Unicode: 25AF. Letter-like form.

\[Exists] (Mathematica Character Name)

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

\[FilledDiamond] (Mathematica Character Name)

Unicode: 25C6. Letter-like form.

\[ForAll] (Mathematica Character Name)

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

\[FormalA] (Mathematica Character Name)

Unicode: F800. Alias: Esc $a Esc. Letter-like form. Used to represent a formal parameter that will never be assigned a value.

\[FormalB] (Mathematica Character Name)

Unicode: F801. Alias: Esc $b Esc. Letter-like form. Used to represent a formal parameter that will never be assigned a value.

\[FormalCapitalA] (Mathematica Character Name)

Unicode: F81A. Alias: Esc $A Esc. Letter-like form. Used to represent a formal parameter that will never be assigned a value.

\[FormalCapitalB] (Mathematica Character Name)

Unicode: F81B. Alias: Esc $B Esc. Letter-like form. Used to represent a formal parameter that will never be assigned a value.