3 ms·

I find x₁ > x₂ for lexicographic ordering less confusing, because it works like the dictionary.

• deleted 4y ago
  [deleted]