TeX Quellcode:
S(3\mid 7)