TeX source:
y < x-2