Symmetric Difference

$$\begin{array}{rl}A\oplus B& \\ & =(A\cup B)-(A\cap B)\\ & =(A-B)\cup (B-A)\\ & =\{x|(x\in A\vee x\in B)\wedge x\ne (A\cap B)\}\end{array}$$