Syntax definition cnbgr

Description: Extend class notation with neighbors (of a vertex in a graph).

	Ref	Expression
Assertion	cnbgr	$$class\mathrm{NeighbVtx}$$