Knuth equivalence