TeX source:
R^{∗}_{4}