Syntax definition ctermo

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

	Ref	Expression
Assertion	ctermo	$$class\mathrm{TermO}$$