Syntax definition cgz

Description: Extend class notation with the set of gaussian integers.

	Ref	Expression
Assertion	cgz	$$class\mathbb{Z}\left[i\right]$$