2 x -x >= - 2
-x^2 >= x/2
And(-1/2 <= x, x <= 0)
(-1/2 <= x)∧(x <= 0)
[-1/2, 0]
x in Interval(-1/2, 0)