basic library and tex file.