Syntax definition cdoma

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

	Ref	Expression
Assertion	cdoma	$$class{dom}_a$$