Adding the pdf and tex file for the definitions