Syntax definition crli

Description: Extend class notation with real convergence relation for limits.

	Ref	Expression
Assertion	crli	$$class\underset{ℝ}{⇝}$$