What I do currently in texi2html is to use httexi to format the @math. Wow, I didn't know Eitan had done that too!
Maybe something similar could be done by makeinfo, too?
I don't think makeinfo should call tex4ht. Way too scary.
I am not sure how to handle it.
Thanks,
k
