TeX source:
\longrightarrow