Re: hat accent bug

[Karl Berry]

    it. It would be easier to fix makeinfo to ignore
    @-commands it doesn't know about in @math 

Not at all sure about that.

    (perhaps only counting matching braces, and not doing any @-command
    interpretation at all),

Definitely want normal @-command interpretation.  E.g., to be able to
use @address@hidden, which people do.
    
    than whatever would have to be done to get the backslash to work
    with TeX.

It could be done somehow, I'm sure.  But I don't want to spend the time
to do it unless someone has a real document that really needs math in
section titles.  The bug has been there since @math was created and no
one has ever complained about it, so I don't think any fix is needed.
Seems like it would be more fruitful to spend time on improving the math
support in general, e.g., to really support the commands, or to support
displayed equations, or whatever.

karl