TeX Quellcode:
x=2{,}5