TeX source:

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