Syntax definition cel

Description: Extend class notation with Hilbert space eigenvalue function.

	Ref	Expression
Assertion	cel	$$class\mathrm{eigval}$$