TeX source:

x\gt0