Syntax definition chba

Description: Extend class notation with Hilbert vector space.

	Ref	Expression
Assertion	chba	$$class\mathscr{H}$$