Syntax definition cz12s

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

	Ref	Expression
Assertion	cz12s	Could not format assertion : No typesetting found for class ZZ_s[1/2] with typecode class