2 x > 0
x^2 > 0
And(x > -oo, x < oo, x != 0)
(x > -oo)∧(x < oo)∧(Ne(x, 0))
(-oo, 0) U (0, oo)
a in Union(Interval.open(-oo, 0), Interval.open(0, oo))