Evaluating and Improving the Extraction of Mathematical Identifier Definitions - Schubotz, Moritz