Additive inverse (source code)

= Additive inverse
{title2=$-x$}
{wiki}

The additive inverse $-x$ satisfies $x+(-x)=0$.