Syntax definition czring

Description: Extend class notation with the (unital) ring of integers.

	Ref	Expression
Assertion	czring	$$class{\mathbb{Z}}_{\mathrm{ring}}$$