Syntax definition czeroo

Description: Extend class notation with the class of zero objects of a category.

	Ref	Expression
Assertion	czeroo	$$class\mathrm{ZeroO}$$