On 03/06/13 16:31, Brian May wrote:
What does @tex do? I tried searching the documentation at http://www.gnu.org/software/texinfo/manual/texinfo/texinfo.html but with no luck. There is @TeX{} but that appears to be different. Doesn't look like anything to do with TeX to me.
"@tex" is for embedding raw tex commands. However most of the stuff inside that clause is still texinfo commands. It is trying to set up a macro to do subscripts. http://www.gnu.org/software/texinfo/manual/texinfo/html_node/Raw-Formatter-C...
@tex @def@xsub#1{$_{#1}$} @global@let@sub=@xsub @end tex
Apparently there was a patch for this section for texinfo-5.1: https://github.com/heimdal/heimdal/commit/1846c7a35d1091d3b6140c56befd7fee0a... @iftex @macro sub{arg} @textsubscript{\arg\} @end macro @end iftex regards, Glenn -- sks-keyservers.net 0x6d656d65