Negate: Difference between revisions
Content added Content deleted
(sign vs negate) |
mNo edit summary |
||
Line 1: | Line 1: | ||
The '''negate''' function, generally denoted by <code>-</code>, is used for getting the additive inverse of a number in K(numeric negation). |
The '''negate''' function, generally denoted by <code>-</code>, is used for getting the additive inverse of a number in K(numeric negation). |
||
When applied directly to a numeric |
When applied directly to a numeric literal, <code>-</code> should be followed by a space to prevent it from becoming the sign of its first item. |
||
The negate primitive is [[Atomicity|right atomic.]]<pre> |
The negate primitive is [[Atomicity|right atomic.]]<pre> |