Syntax definition chl

Description: Extend class notation with the class of subcomplex Hilbert spaces.

	Ref	Expression
Assertion	chl	$$class\mathrm{ℂHil}$$