Description: Define the negative of a number (unary minus). We use different symbols for unary minus ( -u ) and subtraction ( - ) to prevent syntax ambiguity. See cneg for a discussion of this. (Contributed by NM, 10-Feb-1995)

|- -u A = ( 0 - A )

|- A

|- -u A

|- 0

|- -

|- ( 0 - A )