TeX source:

(\phi \to (\chi \to \psi ))\to ((\phi \to \chi )\to (\phi \to \psi ))