Syntax definition covol

Description: Extend class notation with the outer Lebesgue measure.

	Ref	Expression
Assertion	covol	$$class{vol}^{*}$$