Syntax definition citg

Description: Extend class notation with the general Lebesgue integral.

	Ref	Expression
Assertion	citg	class ∫ 𝐴 𝐵 d 𝑥