Lecture Notes Extraction

Pull definitions, formulas and key concepts out of lecture material.