Syntax definition cpolN

Description: Extend class notation with polarity of projective subspace $m$.

	Ref	Expression
Assertion	cpolN	$$class{\perp }_{𝑃}$$