TeX source:
y\rightarrow -1