Syntax definition csr

Description: Extend class notation with class of all *-rings.

	Ref	Expression
Assertion	csr	$$class\mathrm{*-Ring}$$