add functionalty for enumerate by tag, selectify terms-formulas.tex