TeX Quellcode:

0{,}\overline{567}