symdiff ← ∪~∩