TeX source:

5 \overline{)4}