Syntax definition ccxp

Description: Extend class notation with the complex power function.

	Ref	Expression
Assertion	ccxp	$$class{\uparrow }_c$$