A small improvement in inequalities

[compsystems]

solve(x<13 or x<5,x) [enter] returns "Unable to isolate x in ((13>x) or (5>x))"

-> x<13
https://www.wolframalpha.com/input/?i=s ... 8+x%3C5,x)


solve(x<13 xor x<5,x) [enter] returns [x]

-> x>=5 and x<13
https://www.wolframalpha.com/input/?i=s ... r+x%3C5,x)

[parisse]

or and xor are not supported inside solve, and I don't plan to support them.