TeX source:
\exists x\varphi