TeX Quellcode:
1.234{,}5