Additive inverse ($-x$)

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