Fix Isabelle TeX output.