TeX source:
0{,}142857142857...=0{,}\overline {142857}