Syntax definition crelexp

Description: Extend class notation to include relation exponentiation.

	Ref	Expression
Assertion	crelexp	class ↑𝑟