Syntax definition cuspgr

Description: Extend class notation with undirected simple pseudographs (which could have loops).

	Ref	Expression
Assertion	cuspgr	$$class\mathrm{USHGraph}$$