TeX source:
y < x - 2