Syntax definition cspn

Description: Extend class notation with subspace span in CH .

	Ref	Expression
Assertion	cspn	$$class\mathrm{span}$$