Syntax definition cel

Description: Extend class notation with Hilbert space eigenvalue function.

	Ref	Expression
Assertion	cel	class eigval