TeX source:
0{,}1