Syntax definition cquot

Description: Extend class notation to include the quotient of a polynomial division.

	Ref	Expression
Assertion	cquot	$$class\mathrm{quot}$$