Syntax definition cfinxp

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

	Ref	Expression
Assertion	cfinxp	class ( 𝑈 ↑↑ 𝑁 )