Open soegaard opened 1 year ago
The element Inequality implements inequalities of the type y≤f(x). Since inequalities of the type f(x)≤y≤g(x) are common, I suggest adding an DoubleInequality.
y≤f(x)
f(x)≤y≤g(x)
Very good suggestion. However it is postponed to a version > 1.7
The element Inequality implements inequalities of the type
y≤f(x)
. Since inequalities of the typef(x)≤y≤g(x)
are common, I suggest adding an DoubleInequality.