Syntax definition cvtx

Description: Extend class notation with the vertices of "graphs".

	Ref	Expression
Assertion	cvtx	class Vtx