format
nomenclature.tex
heavy facelifting
final?