Syntax definition csitg

Description: Extend class notation with the integral of simple functions.

	Ref	Expression
Assertion	csitg	$$class\mathrm{sitg}$$