tonlex A program to assist analysis of Taranovsky's C notation. Can produce outputs in normal format, full expansions, or lexicographic format.