Sorgente TeX:

x \le 1