Create retyping-ah.tex