Revision as of 16:07, 8 July 2021 (edit) Ngn (talk \| contribs) (sign vs negate) ← Older edit		Revision as of 16:08, 8 July 2021 (edit) (undo) Ngn (talk \| contribs) mNo edit summary Tag: Visual edit: Switched Newer edit →
Line 1: 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 ~~list~~ literal, <code>-</code> should be followed by a space to prevent it from becoming the sign of ~~the~~its first item. The negate primitive is [[Atomicity\|right atomic.]]<pre>

Negate (edit)