Syntax definition citg

Description: Extend class notation with the general Lebesgue integral.

	Ref	Expression
Assertion	citg	$$class{\int }_{A}Bdx$$