TeX source:
x=y−1