TeX Quellcode:
(5\mid 5{,}5 \mid 1{,}5)