This is LaTeX code:

[latex]
 
x\in ( B\backslash A ) \backslash C \rightarrow x\in B\backslash A \rightarrow x\in (B\backslash A) \cup ( A \backslash C )
 
[/latex]