Syntax definition cspc

Description: Extend class notation with the spectrum of an operator.

	Ref	Expression
Assertion	cspc	class Lambda