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 )