Syntax definition cinvr

Description: Extend class notation with multiplicative inverse.

	Ref	Expression
Assertion	cinvr	$$class{inv}_r$$