Syntax definition clsp

Description: Extend class notation to include the limsup function.

	Ref	Expression
Assertion	clsp	$$class\mathrm{lim\; sup}$$