In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2200 (FOR ALL).
See also#
\backslashbase\lnotbase\negbase
The ∀ symbol (For all, U+2200), written as \forall in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+2200 (FOR ALL).
\backslash base\lnot base\neg base