Syntax definition chmo

Description: Set of Hermitional (self-adjoint) operators.

	Ref	Expression
Assertion	chmo	$$class\mathrm{HmOp}$$