Syntax definition cfzo

Description: Syntax for half-open integer ranges.

	Ref	Expression
Assertion	cfzo	class ..^