Syntax definition cpell14qr

Description: Extend class notation to include the class of positive Pell solutions.

	Ref	Expression
Assertion	cpell14qr	$$class\mathrm{Pell14QR}$$