Update arm.tex