Syntax Definition csymdif 3210

Description: Extend class notation to include the symmetric difference of two classes.

Hypotheses

Ref	Expression
cA	class A
cB	class B

Assertion

Ref	Expression
csymdif	class (A ⊕ B)

See definition df-symdif 3217 for more information.