Fuente TeX:
x_{0}\notin A\Rightarrow x_{0}\in A^{c}