Hacker News new | ask | show | jobs
by wizzwizz4 1153 days ago
I find x₁ > x₂ for lexicographic ordering less confusing, because it works like the dictionary.