This is LaTeX code:
[latex]
A \subset B \quad \Rightarrow \quad \overline{A} \subset \overline{B} = B
[/latex]