Syntax definition cgs

Description: Extend class notation with a function mapping a group operation to the division (or subtraction) operation for the group.

	Ref	Expression
Assertion	cgs	$$class{/}_g$$