Syntax definition chsup

Description: Extend class notation with supremum of a collection in CH .

	Ref	Expression
Assertion	chsup	$$class{\bigvee }_{\mathscr{H}}$$