/ / ____ \ / ____ \\
| |1 5*\/ 10 | |1 5*\/ 10 ||
Or|And|- - -------- <= x, x < 5|, And|- + -------- <= x, x < oo||
\ \3 3 / \3 3 //
$$\left(\frac{1}{3} - \frac{5 \sqrt{10}}{3} \leq x \wedge x < 5\right) \vee \left(\frac{1}{3} + \frac{5 \sqrt{10}}{3} \leq x \wedge x < \infty\right)$$
((x < 5)∧(1/3 - 5*sqrt(10)/3 <= x))∨((x < oo)∧(1/3 + 5*sqrt(10)/3 <= x))
____ ____
1 5*\/ 10 1 5*\/ 10
[- - --------, 5) U [- + --------, oo)
3 3 3 3
$$x\ in\ \left[\frac{1}{3} - \frac{5 \sqrt{10}}{3}, 5\right) \cup \left[\frac{1}{3} + \frac{5 \sqrt{10}}{3}, \infty\right)$$
x in Union(Interval.Ropen(1/3 - 5*sqrt(10)/3, 5), Interval(1/3 + 5*sqrt(10)/3, oo))