TeX source:
y < 3x-1