Source TeX:
a_2 = a+1