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 @math{@^o} 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 @math{@^o}
@cindex mean value @math{@=o}
First the Texinfo commands: Amplitude @math{@^o} and mean value
@math{@=o}. 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
