TeX source:
(x> 0)