TeX source:
R^{∗}_{2}=9033