Syntax definition ccaragen

Description: Extend class notation with a function that takes an outer measure and generates a sigma-algebra and a measure.

	Ref	Expression
Assertion	ccaragen	$$class\mathrm{CaraGen}$$