TeX source:
y\rightarrow0