TeX source:
b_0 = 6