TeX source:
\phi \to \phi \lor \chi