Re: Persistent TeX \def's in texinfo source

[Karl Berry]

    @tex
    \def\pisqr{\pi^2}
    @end tex

You need to use \gdef:

@tex
\gdef\pisqr{\pi^2}
@end tex

I'll mention this in the manual, if it's not there already.

HTH,
k