Syntax definition cibl

Description: Extend class notation with the class of integrable functions.

	Ref	Expression
Assertion	cibl	class L^1