Syntax definition clspn

Description: Extend class notation with span of a set of vectors.

	Ref	Expression
Assertion	clspn	$$class\mathrm{LSpan}$$