Syntax definition cdju

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

	Ref	Expression
Assertion	cdju	class ( 𝐴 ⊔ 𝐵 )