Create declaration.tex