Syntax definition czs12

Description: Define the syntax for the set of surreal dyadic fractions.

	Ref	Expression
Assertion	czs12	class ZZ_s[1/2]