ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Set difference
Definition D71
Symmetric set difference
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}