Syntax definition cplusf

Description: Extend class notation with group addition as a function.

	Ref	Expression
Assertion	cplusf	$$class{+}_{𝑓}$$