Source TeX:
\not\exists