TeX source:
(\varphi \to \psi )