Fuente TeX:
\lnot \exists