TeX source:
\exists xP(x)