Syntax definition ccoda

Description: Extend class notation to include the codomain extractor for an arrow.

	Ref	Expression
Assertion	ccoda	$$class{cod}_a$$