Syntax definition citg2

Description: Extend class notation with the Lebesgue integral for nonnegative functions.

	Ref	Expression
Assertion	citg2	class S.2