Source TeX:

a_2 = 7