hask.tex