Syntax definition c0g

Description: Extend class notation with group identity element.

	Ref	Expression
Assertion	c0g	class 0g