Syntax definition cuo

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

	Ref	Expression
Assertion	cuo	$$class\mathrm{UniOp}$$