Syntax definition cdju

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

	Ref	Expression
Assertion	cdju	class ( A |_| B )