Syntax definition c0

Description: Extend class notation to include the empty set.

	Ref	Expression
Assertion	c0	class ∅