Syntax definition c1

Description: Extend class notation to include the complex number 1.

	Ref	Expression
Assertion	c1	class 1