This is LaTeX code:

[latex]
 x \in [a] \cap [b] \Rightarrow x \equiv a$ i $ x \equiv b \Rightarrow a \equiv b
[/latex]