Syntax definition cado

Description: Extend class notation with Hilbert space adjoint function.

	Ref	Expression
Assertion	cado	class adjℎ