TeX source:
\overline{a} > 0