Source TeX:

a_1 = 2