Syntax definition chdma

Description: Extend class notation with map from vectors to functionals in the closed kernel dual space.

	Ref	Expression
Assertion	chdma	$$class\mathrm{HDMap}$$