TeX source:

(\phi \to \chi )\to ((\chi \to \phi )\to (\phi \leftrightarrow \chi ))