Symmetric Difference with Complement

Theorem
The symmetric difference of a set with its complement is the universe:


 * $S * \relcomp {} S = \mathbb U$