Permutation diagram (source code)

= Permutation diagram

A diagram of straight segments joining two parallel lines, with distinct endpoints on each line. Ordering the endpoints along the two lines encodes a <permutation>; crossing segments define the associated <permutation graph>.