TeX source:
\exists x(P_{1}(x)\land \varphi (x))