TeX source:
R_2(3{,}9 \mid 5{,}7)