Orixe TeX:
\Rightarrow