Fuente TeX:
y_2\leq 8