TeX source:
x=1{,}5