doubleco.tex