Syntax definition ce

Description: Extend class notation to include the exponential function.

	Ref	Expression
Assertion	ce	$$class\exp$$