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