Syntax definition cbigo

Description: Extend class notation with the class of the "big-O" function.

	Ref	Expression
Assertion	cbigo	$$classO$$