Source TeX:
2x-7 < 0,