Lexicographic data, encoding of

(to be added)