Source TeX:
x \rightarrow 0