Closed mgacc0 closed 7 years ago
That is so by design explained in this blog post among the motivation. The interval operator expresses the type of lower (left bracket) and upper (right bracket) endpoint, while in the RHS the values are sorted, so that smaller becomes the lower endpoint irrespective of sorting.
When an interval is expressed in reverse order, it would be coherent to swap the order of parentheses and brackets:
Or maybe a warning should be shown when a swapped interval is found?