Update hrt.tex