Source TeX:
2x-7>0