TeX source:
0.75, 0.22\overline 3, 1.39174