negate

Negate

-x

The negate function, generally denoted by -, is used for getting the additive inverse of a number in K(numeric negation).

When applied directly to a numeric literal, - should be followed by a space to prevent it from becoming the sign of its first item.

The negate primitive is right atomic.

 -[3]
-3

 - 9 8 7
-9 -8 -7

 -(9;(8;-56);(7;-65))
(-9
 -8 56
 -7 65)