Publishing Math Lecture Notes as Linked Data