Syntax definition csgm

Description: Extend class notation with the divisor function.

	Ref	Expression
Assertion	csgm	$$class\sigma$$