Syntax definition cplylt

Description: Extend class notatin with the class of limited-degree polynomials.

	Ref	Expression
Assertion	cplylt	$$class{\mathrm{Poly}}_{<}$$