Syntax definition coppg

Description: The opposite group operation.

	Ref	Expression
Assertion	coppg	$$class{opp}_{𝑔}$$