Syntax definition cesum

Description: Extend class notation to include infinite summations.

	Ref	Expression
Assertion	cesum	$$class\underset{k\in A}{{\sum }^{*}}B$$