Syntax definition cdv

Description: The derivative operator.

	Ref	Expression
Assertion	cdv	$$class\mathrm{D}$$