TeX source:
z = 0.25\overline{1} = 0.25111111111111111\cdots