Syntax definition cvdwa

Description: The arithmetic progression function.

	Ref	Expression
Assertion	cvdwa	$$class\mathrm{AP}$$