Syntax definition cpmap

Description: Extend class notation with projective map.

	Ref	Expression
Assertion	cpmap	$$class\mathrm{pmap}$$