Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
The difference, union, and intersection of two classes
The symmetric difference of two classes
csymdif
Next ⟩
df-symdif
Metamath Proof Explorer
Unicode
Structured
Syntax definition
csymdif
Description:
Declare the syntax for symmetric difference.
Ref
Expression
Assertion
csymdif
class ( A /_\ B )