TeX Quellcode:
y=7{,}5