TeX source:
x>0