Fuente TeX:
x_0\notin \overline{Y}