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