TeX source:
R^{∗}_{3}=8922