Syntax definition cgru

Description: Extend class notation to include the class of all Grothendieck universes.

	Ref	Expression
Assertion	cgru	$$class\mathrm{Univ}$$