TeX source:
x > 0