Syntax definition csgm

Description: Extend class notation with the divisor function.

	Ref	Expression
Assertion	csgm	class sigma