Syntax definition cbo

Description: Extend class notation with set of bounded linear operators.

	Ref	Expression
Assertion	cbo	class BndLinOp