Syntax definition cli

Description: Extend class notation with convergence relation for limits.

	Ref	Expression
Assertion	cli	$$class⇝$$