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