TeX source:
\exists x.\ \Psi