TeX source:
y_1^2 = 25