Syntax definition cprj

Description: Syntax for the function of projections on sets.

	Ref	Expression
Assertion	cprj	$$classprj$$