Fuente TeX:
n\geq \overline{n}