TeX Quellcode:
3 - x > 0