Syntax definition cdif

Description: Syntax for the difference of two classes.

	Ref	Expression
Assertion	cdif	$$class\left(A\setminus B\right)$$