TeX source:
x+3 > 0