TeX source:
x < -3