Tex files and miscellaneous research things