Sorgente TeX:
x > 1