Latex of concepts for permutation and construction libraries