cplusr - Mathbox for Andrew Salmon

	Mathbox for Andrew Salmon		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cplusr		Structured version Visualization version GIF version

Syntax Definition cplusr 41964

Description: Introduce the operation of vector addition.

**Assertion**
Ref	Expression
cplusr	class +_𝑟

See definition df-addr 41970 for more information.

Colors of variables: wff setvar class