Syntax definition citg1

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

	Ref	Expression
Assertion	citg1	class ∫1