TeX source:
( \overline x+ 1s)