Construction and Evaluation of a Gold Standard Syntax for Formal Logic Formulas and Systems This is a repository for my thesis source (LaTeX).