Bender–Knuth_involution