https://www.glc.us.es/~jalonso/calculemus/04-mar-24/
(s \ t) ∪ (t \ s) = (s ∪ t) \ (s ∩ t)