Syntax definition cesum

Description: Extend class notation to include infinite summations.

	Ref	Expression
Assertion	cesum	class sum* k e. A B