Syntax definition c9

Description: Extend class notation to include the number 9.

	Ref	Expression
Assertion	c9	class 9