Syntax definition carw

Description: Extend class notation to include the collection of all arrows of a category.

	Ref	Expression
Assertion	carw	$$class\mathrm{Arrow}$$