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