Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Basic operations on classes
The symmetric difference of two classes
csymdif

Next ⟩ df-symdif

Metamath Proof Explorer

Ascii
Unicode

Syntax definition csymdif

Description: Declare the syntax for symmetric difference.

		Ref	Expression
	Assertion	csymdif	$class (A ∆ B)$