TeX source:
x_1=1{,}5