Create dis.tex