Syntax definition cbo

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

	Ref	Expression
Assertion	cbo	$$class\mathrm{BndLinOp}$$