Now we can use htlatex with this tex