Syntax definition cplusr

Description: Introduce the operation of vector addition.

	Ref	Expression
Assertion	cplusr	$$class{+}_r$$