-
@paulgp Thanks, Paul. This is it. I wonder if the reason this looks weird to me is that in “conventional” notation we write things with chained equalities (a=b=c) or inequalities (a≤b≤c) but don’t typically mix (a=b≤c)? Definitely going to start using “x<y>z” now, though!