>>11343170>>11343172I see aboslutely no problem with this.
>>11343219>>if a is negative (<0) [a=-a]>Is it a contradiction?Yes, that is a contradiction, but that's not what the book is saying. You seem to be confusing absolute value notation with square brackets. Do you see the difference here?
Those enclosing symbols on the left isn't reglar square brackets, it is notation for the absolute value function. Can you see how they are different? The defition of this absolute value function is