TeX source:
x > -3