Fuente TeX:
y_1\geq 9