TeX source:

1.333..=1. \overline{3}