TeX Quellcode:
S(5 \mid 5)