Fuente TeX:
0\leq y_1\leq 8