Create IntroductoryDefinitions.tex