Syntax definition cvv

Description: Extend class notation to include the universal class symbol.

	Ref	Expression
Assertion	cvv	$$class\mathrm{V}$$