Addition of main.tex