TeX Quellcode:

\Longrightarrow