Syntax definition chvm

Description: Extend class notation with vector to dual map.

	Ref	Expression
Assertion	chvm	$$class\mathrm{HVMap}$$