Syntax definition cesply

Description: Extend class notation with the elementary symmetric polynomials.

	Ref	Expression
Assertion	cesply	class eSymPoly