[texhax] lower tilde

[Karl Berry]

    Hyperlatex is a program which processes tex files and generates HTML.  

It hasn't been maintained for years, has it?  I didn't know it was still
around, that's why I didn't think that was what you were talking about.

Maybe someone else will know a solution, or if there is still a
maintainer.  All I suggest is using tex4ht or latex2html or tex2page to
get the html output instead -- probably not a "solution" you will like.
Sorry ...

k