Syntax definition cpli

Description: Positive integer addition.

	Ref	Expression
Assertion	cpli	$$class{+}_{𝑵}$$