Syntax definition crrvec

Description: Syntax for the class of real vector spaces.

	Ref	Expression
Assertion	crrvec	$$class\mathrm{ℝVec}$$