TeX source:
x-1>y