Syntax definition crrx

Description: Extend class notation with generalized real Euclidean spaces.

	Ref	Expression
Assertion	crrx	$$class\mathrm{ℝ\uparrow }$$