TeX source:
R_2=?