TeX source:
\exists x\varphi (x)