adding some tex files