TeX source:
\exists x(\varphi \lor \psi )