TeX source:

b_1 = 3