Syntax definition cclnbgr

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

	Ref	Expression
Assertion	cclnbgr	Could not format assertion : No typesetting found for class ClNeighbVtx with typecode class