Update main.tex

man