Fuente TeX:

n ≤\overline{n}