TeX source:
\rightarrow 0