Syntax definition cplusr

Description: Introduce the operation of vector addition.

	Ref	Expression
Assertion	cplusr	class +𝑟