Symmetric Difference with Complement

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


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