TeX source:
x >0