Syntax definition cupgr

Description: Extend class notation with undirected pseudographs.

	Ref	Expression
Assertion	cupgr	$$class\mathrm{UPGraph}$$