First commit, adding .tex files and mathpartir