Syntax definition cinvc

Description: Syntax for the inverse of nonzero extended complex numbers.

	Ref	Expression
Assertion	cinvc	$$class{\cdot }^{-1}$$