Syntax definition cwun

Description: Extend class definition to include the class of all weak universes.

	Ref	Expression
Assertion	cwun	$$class\mathrm{WUni}$$