Source TeX:
x < -3