TeX source:
(\phi \to \psi )