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