In TeXForm#
TeXForm parses this entry as a character leaf mapped to U+2203 (THERE EXISTS).
See also#
\backslashbase\lnotbase\negbase
The ∃ symbol (There exists, U+2203), written as \exists in LaTeX math mode.
TeXForm parses this entry as a character leaf mapped to U+2203 (THERE EXISTS).
\backslash base\lnot base\neg base