Syntax definition citg2

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

	Ref	Expression
Assertion	citg2	$$class{\int }^2$$