Syntax definition cringcALTV

Description: Extend class notation to include the category Ring. (New usage is discouraged.)

	Ref	Expression
Assertion	cringcALTV	$$class\mathrm{RingCatALTV}$$