Syntax definition cuhgr

Description: Extend class notation with undirected hypergraphs.

	Ref	Expression
Assertion	cuhgr	$$class\mathrm{UHGraph}$$