added some new TEX files