ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F7990 on D71: Symmetric set difference
F7990
Formulation 0
Let $X$ and $Y$ each be a D11: Set.
The symmetric difference of $X$ and $Y$ is the D11: Set \begin{equation} X \triangle Y : = (X \setminus Y) \cup (Y \setminus X) \end{equation}