Syntax definition cdju

Description: Extend class notation to include disjoint union of two classes.

	Ref	Expression
Assertion	cdju	$$class\left(A\mathrm{\bigsqcup ︀}B\right)$$