Syntax definition cfz

Description: Extend class notation to include the notation for a contiguous finite set of integers. Read " M ... N " as "the set of integers from M to N inclusive."

	Ref	Expression
Assertion	cfz	$$class\dots$$