TeX source:
x=-0{,}5