Syntax definition cpclN

Description: Extend class notation with projective subspace closure.

	Ref	Expression
Assertion	cpclN	$$class\mathrm{PCl}$$