Syntax definition cibl

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

	Ref	Expression
Assertion	cibl	$$class{𝐿}^1$$