Syntax definition cpjh

Description: Extend class notation with set of projections on a Hilbert space.

	Ref	Expression
Assertion	cpjh	$$class{\mathrm{proj}}_{ℎ}$$