Syntax definition ce

Description: Extend class notation to include the exponential function.

	Ref	Expression
Assertion	ce	class exp