Update textalpha.tex