Negate: Difference between revisions
Content added Content deleted
No edit summary |
m (Lowercase title) |
||
Line 1: | Line 1: | ||
{{lowercase title}} |
|||
{{primitive|-x}} |
{{primitive|-x}} |
||
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). |