Fuente TeX:
y\leq 1