TeX source:

r_2 = 8