TeX source:

y_1 = 3