TeX source:
\varphi \rightarrow \psi