Source TeX:
x > -3