TeX source:
\phi \lor \neg \phi