TeX Quellcode:
7{,}5 : 2 = 3{,}75