Syntax definition cgz

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

	Ref	Expression
Assertion	cgz	class ℤ[i]