Syntax definition cpautN

Description: Extend class notation with set of all projective automorphisms.

	Ref	Expression
Assertion	cpautN	$$class\mathrm{PAut}$$