TeX source:

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