Syntax definition crngcALTV

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

	Ref	Expression
Assertion	crngcALTV	$$class\mathrm{RngCatALTV}$$