TeX-källa:
\Rightarrow