Syntax definition cvtxdg

Description: Extend class notation with the vertex degree function.

	Ref	Expression
Assertion	cvtxdg	class VtxDeg