Источник TeX:

A + \overline{A}