Adding d8.tex