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