Syntax definition club

Description: Extend class notation with poset least upper bound.

	Ref	Expression
Assertion	club	$$class\mathrm{lub}$$