Metamath Proof Explorer


Syntax definition csymdif

Description: Declare the syntax for symmetric difference.

Ref Expression
Assertion csymdif
class ( A /_\ B )