Syntax definition cvoln

Description: Extend class notation with the class of Lebesgue measure for the space of multidimensional real numbers.

	Ref	Expression
Assertion	cvoln	$$class\mathrm{voln}$$