Syntax definition chba

Description: Extend class notation with Hilbert vector space.

	Ref	Expression
Assertion	chba	class ~H