Metamath Proof Explorer


Syntax definition csymdif

Description: Declare the syntax for symmetric difference.

Ref Expression
Assertion csymdif class ( 𝐴𝐵 )