Syntax definition cmi

Description: Positive integer multiplication.

	Ref	Expression
Assertion	cmi	$$class{\cdot }_{𝑵}$$