Abbreviations and Symbols in a separate file
Abstrating combineMany
Expand (once) abbreviations
Fix section level in LaTeX output