TeX source:
x=2{,}5