TeX source:
0{,}\overline{83}