TeX source:
\phi \land \chi \to \phi