Syntax definition citg

Description: Extend class notation with the general Lebesgue integral.

	Ref	Expression
Assertion	citg	class S. A B _d x