Источник TeX:
\Longrightarrow