This is LaTeX code:
[latex]
\Rightarrow \left( A \times B \right) \backslash \left( A \times C \right) = A \times \left( B \backslash C \right)
[/latex]