TeX Quellcode:

R_1(1 \mid 5{,}7)