Syntax definition cuhgr

Description: Extend class notation with undirected hypergraphs.

	Ref	Expression
Assertion	cuhgr	class UHGraph