Source TeX:
(x>0)