Syntax definition coppcc

Description: Syntax for negation on the set of extended complex numbers and the complex projective line (Riemann sphere).

	Ref	Expression
Assertion	coppcc	$$class{-}_{\overline{ℂ}}$$