TeX source:
x = 0.\overline{1} = 0.111111111111111111\cdots