TeX source:

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