TeX source:
x=0{,}1