This is LaTeX code:
[latex]
a \not \equiv b \Rightarrow [a] \cap [b] = \emptyset
[/latex]