Syntax definition cesum

Description: Extend class notation to include infinite summations.

	Ref	Expression
Assertion	cesum	class Σ* 𝑘 ∈ 𝐴 𝐵