Syntax definition cvtxdg

Description: Extend class notation with the vertex degree function.

	Ref	Expression
Assertion	cvtxdg	$$class\mathrm{VtxDeg}$$