Syntax definition czs

Description: Declare the syntax for surreal integers.

	Ref	Expression
Assertion	czs	class ℤs