Syntax definition cuvtx

Description: Extend class notation with the universal vertices (in a graph).

	Ref	Expression
Assertion	cuvtx	class UnivVtx