enumeratio

Appearance

Negate ​

The additive inverse of x: .

WikipediaAdditive inverseMathWorldAdditiveInverseWikidataQ715358Wolfram LanguageMinus✓
Negate(x)the additive inverse .

Domain: Arithmetic

Details
  • The additive inverse: .
  • Double negation cancels: .
  • Distributes over a sum: .
  • Threads element-wise over a list.
  • compute-engine keeps Negate as its own head rather than rewriting to .

Examples

See also: Abs, Sign