Syntax definition cpprod

Description: Declare the syntax for the parallel product.

	Ref	Expression
Assertion	cpprod	class pprod ( 𝑅 , 𝑆 )