Syntax definition cii

Description: Extend class notation with the unit interval.

	Ref	Expression
Assertion	cii	$$class\mathrm{II}$$