Syntax definition ccid

Description: Extend class notation with the identity arrow of a category.

	Ref	Expression
Assertion	ccid	$$class\mathrm{Id}$$