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