if and only if .
Does that work?
P.S. Here is another ‘fun’ one for symmetric difference.
I just wanted to make sure my proofs are correct.
Given the indicator function.
which implies that
now can be written as two disjoint sets so we have
so we have :
where the terms are expanded out.
I have no idea