Fuente TeX:
y_1\leq 8