Syntax definition cdioph

Description: Extend class notation to include the family of Diophantine sets.

	Ref	Expression
Assertion	cdioph	class Dioph