Source TeX:
\nexists