TeX source:
\varphi \lor \psi