Source TeX:
\Rightarrow