Syntax definition crelexp

Description: Extend class notation to include relation exponentiation.

	Ref	Expression
Assertion	crelexp	$$class{\uparrow }_r$$