Syntax definition cfinxp

Description: Extend the definition of a class to include Cartesian exponentiation.

	Ref	Expression
Assertion	cfinxp	$$classU\uparrow \uparrow N$$