Syntax definition covoln

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

	Ref	Expression
Assertion	covoln	$$class\mathrm{voln*}$$