TeX source:
R_1=?