TeX source:
\Longrightarrow