Syntax definition cicc

Description: Extend class notation with the set of closed intervals of extended reals.

	Ref	Expression
Assertion	cicc	$$class\left[.\right]$$