TeX source:
x\ (>0)