Syntax definition cwwlks

Description: Extend class notation with walks (in a graph) as word over the set of vertices.

	Ref	Expression
Assertion	cwwlks	$$class\mathrm{WWalks}$$