TeX Quellcode:
x > 0