Syntax definition ci

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

	Ref	Expression
Assertion	ci	$$class\mathrm{i}$$