Syntax definition cjn

Description: Extend class notation with poset join.

	Ref	Expression
Assertion	cjn	$$class\mathrm{join}$$