Syntax definition ccop

Description: Extend class notation with set of continuous Hilbert space operators.

	Ref	Expression
Assertion	ccop	$$class\mathrm{ContOp}$$