Syntax definition coppr

Description: The opposite ring operation.

	Ref	Expression
Assertion	coppr	$$class{opp}_r$$