Source TeX:
\exists