DISEQUAZIONI NUMERICHE RAZIONALI
{
2
t
+
5
>
5
t
−
2
3
(
t
+
4
)
−
t
≤
0
left lbrace { stack{2t+5> 5t-2 # 3(t+4)-t<=0}} right none
