Syntax definition cveronese

Description: Extend class notation to include the quadratic Veronese map on real 3-vectors. (Contributed by Jiamin Zhao, 14-Aug-2026)

	Ref	Expression
Assertion	cveronese	class veronese