Syntax definition cdpj

Description: Projection operator for a direct product.

	Ref	Expression
Assertion	cdpj	$$class\mathrm{dProj}$$