TeX source:
\phi \to (\chi \to \phi )