hat accent bug

[Ralph Schleicher]

Texinfo version 2015-07-01.07

Hi,

the hat accent command @^ does not work inside of @math as
documented in the manual when processing the Texinfo input
file with TeX.  Any use of @address@hidden or @math{\hat o}
outputs a sequence of three characters "^ o", i.e. a caret
character a space character, and a lowercase letter o.

Here is an example Texinfo input file.  Process it with
"texi2pdf hat.texi" and look at the differences between
text mode and math mode.
                               ,,,
                              (o o)
---------------------------oOO-(_)-OOo---------------------------
\input texinfo.tex

@c %**start of header
@setfilename hat.info
@settitle Hat Accent
@c %**end of header

@ifnottex
@node Top, Hat @^Accent in Text Mode, (dir), (dir)
@top Hat Accent
@end ifnottex

@menu
* Hat @^Accent in Text Mode::
* Hat @^Accent in Math Mode::
* Concept Index::
@end menu


@node Hat @^Accent in Text Mode, Hat @^Accent in Math Mode, Top, Top
@chapter Hat @^Accent in Text Mode

@cindex hat @^accent
@cindex bar @=accent
Amplitude @^o and mean value @=o.  @xref{Hat @^Accent in Math Mode}.


@node Hat @^Accent in Math Mode, Concept Index, Hat @^Accent in Text Mode, Top
@chapter Hat @^Accent in Math Mode

@cindex amplitude @address@hidden
@cindex mean value @address@hidden
First the Texinfo commands: Amplitude @address@hidden and mean value
@address@hidden  Then the @TeX{} commands: Amplitude @math{\hat o}
and mean value @math{\bar o}.  @xref{Hat @^Accent in Text Mode}.


@node Concept Index,  , Hat @^Accent in Math Mode, Top
@unnumbered Concept Index

@printindex cp


@bye
---------------------------oOo-----oOo---------------------------


Here is a patch to fix the misbehavior.

--- texinfo.tex.orig    2015-07-30 20:20:58.802557313 +0200
+++ texinfo.tex 2015-07-31 07:04:05.540143455 +0200
@@ -10186,8 +10186,8 @@
 \def\activedoublequote{{\tt\char34}}
 \let"=\activedoublequote
 \catcode`\~=\active \def\activetilde{{\tt\char126}} \let~ = \activetilde
-\chardef\hat=`\^
-\catcode`\^=\active \def\activehat{{\tt \hat}} \let^ = \activehat
+\chardef\Hat=`\^
+\catcode`\^=\active \def\activehat{{\tt \Hat}} \let^ = \activehat
 
 \catcode`\_=\active
 \def_{\ifusingtt\normalunderscore\_}


-- 
Ralph