Syntax definition cado

Description: Extend class notation with Hilbert space adjoint function.

	Ref	Expression
Assertion	cado	$$class{adj}_h$$