Lines Matching refs:def
35 \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}}
84 \def\putwordInfo{Info}%
97 \def\gobble#1{}
113 \def\gloggingall{\begingroup \globaldefs = 1 \loggingall \endgroup}%
114 \def\loggingall{\tracingcommands2 \tracingstats2
140 \def\onepageout#1{\hoffset=\normaloffset
156 \def\croppageout#1{\hoffset=0pt % make sure this doesn't mess things up
184 \def\cropmarks{\let\onepageout=\croppageout }
188 \def\pagebody#1{\vbox to\pageheight{\boxmaxdepth=\maxdepth #1}}
204 \def\ewtop{\vrule height\cornerthick depth0pt width\cornerlong}
205 \def\nstop{\vbox
207 \def\ewbot{\vrule height0pt depth\cornerthick width\cornerlong}
208 \def\nsbot{\vbox
215 \def\parsearg#1{%
224 \def\parseargx{%
255 \def\argremovec#1\c#2\relax{\toks0 = {#1}}
256 \def\argremovecomment#1\comment#2\relax{\toks0 = {#1}}
272 \def\removeactivespaces#1{%
288 \def\flushcr{\ifx\par\lisppar \def\next##1{}\else \let\next=\relax \fi \next}
292 \newif\ifENV \ENVfalse \def\inENV{\ifENV\relax\else\ENVtrue\fi}
293 \def\ENVcheck{%
300 \outer\def\begin{\parsearg\beginxxx}
302 \def\beginxxx #1{%
309 \def\end{\parsearg\endxxx}
310 \def\endxxx #1{%
330 \def\unmatchedenderror#1{%
337 \def\defineunmatchedend#1{%
338 \expandafter\def\csname E#1\endcsname{\unmatchedenderror{#1}}%
345 \def\singlespace{%
357 \def\@{{\tt \char '100}}
363 %\def\`{{`}}
364 %\def\'{{'}}
368 \def\mylbrace {{\tt \char '173}}
369 \def\myrbrace {{\tt \char '175}}
374 \def\:{\spacefactor=1000 }
377 \def\*{\hfil\break\hbox{}\ignorespaces}
380 \def\.{.\spacefactor=3000 }
394 \def\w#1{\leavevmode\hbox{#1}}
404 \def\group{\begingroup
415 \def\Egroup{%
466 \def\need{\parsearg\needx}
469 %\def\needx #1{\par %
477 \def\needx#1{%
516 \def\dots{$\ldots$}
520 \def\page{\par\vfill\supereject}
530 \def\exdent{\parsearg\exdentyyy}
531 \def\exdentyyy #1{{\hfil\break\hbox{\kern -\exdentamount{\rm#1}}\hfil\break}}
534 \def\nofillexdent{\parsearg\nofillexdentyyy}
535 \def\nofillexdentyyy #1{{\advance \leftskip by -\exdentamount
542 \def\include{\parsearg\includezzz}
547 \def\includezzz #1{\begingroup
548 \def\thisfile{#1}\input\thisfile
551 \def\thisfile{}
555 \def\center{\parsearg\centerzzz}
556 \def\centerzzz #1{{\advance\hsize by -\leftskip
562 \def\sp{\parsearg\spxxx}
563 \def\spxxx #1{\par \vskip #1\baselineskip}
569 \def\comment{\catcode 64=\other \catcode 123=\other \catcode 125=\other%
572 \def\commentxxx #1{\catcode 64=0 \catcode 123=1 \catcode 125=2 }
578 \def\ignoresections{%
609 \def\ignoremorecommands{%
646 \def\ignore{\doignore{ignore}}
650 \def\ifinfo{\doignore{ifinfo}}
651 \def\ifhtml{\doignore{ifhtml}}
652 \def\html{\doignore{html}}
653 \def\menu{\doignore{menu}}
654 \def\direntry{\doignore{direntry}}
658 \def\doignore#1{\begingroup
663 \long\def\doignoretext##1\end #1{\enddoignore}%
674 \def\enddoignore{\endgroup\ignorespaces}%
677 \def\obstexwarn{%
703 \def\nestedignore#1{%
717 \expandafter\def\csname E#1\endcsname{\egroup\ignorespaces}%
758 \def\tex{\doignore{tex}}
769 \def\set{\parsearg\setxxx}
770 \def\setxxx#1{\setyyy#1 \endsetyyy}
771 \def\setyyy#1 #2\endsetyyy{%
772 \def\temp{#2}%
780 \def\setzzz#1#2 \endsetzzz{\expandafter\gdef\csname SET#1\endcsname{#2}}
784 \def\clear{\parsearg\clearxxx}
785 \def\clearxxx#1{\global\expandafter\let\csname SET#1\endcsname=\relax}
789 \def\value#1{\expandafter
797 \def\ifset{\parsearg\ifsetxxx}
798 \def\ifsetxxx #1{%
805 \def\ifsetsucceed{\conditionalsucceed{ifset}}
806 \def\ifsetfail{\nestedignore{ifset}}
812 \def\ifclear{\parsearg\ifclearxxx}
813 \def\ifclearxxx #1{%
820 \def\ifclearsucceed{\conditionalsucceed{ifclear}}
821 \def\ifclearfail{\nestedignore{ifclear}}
827 \def\iftex{\conditionalsucceed{iftex}}
837 \def\conditionalsucceed#1{%
843 \def\nece{E#1}{\let\nece{E#1} = \nece{prevE#1}}%
851 \def\nece#1{\expandafter\noexpand\csname#1\endcsname}
855 \def\asis#1{#1}
868 \def\math#1{\implicitmath #1\implicitmath}
871 \def\bullet{\implicitmath\ptexbullet\implicitmath}
872 \def\minus{\implicitmath-\implicitmath}
874 \def\node{\ENVcheck\parsearg\nodezzz}
875 \def\nodezzz#1{\nodexxx [#1,]}
876 \def\nodexxx[#1,#2]{\gdef\lastnode{#1}}
880 \def\donoderef{\ifx\lastnode\relax\else
884 \def\unnumbnoderef{\ifx\lastnode\relax\else
888 \def\appendixnoderef{\ifx\lastnode\relax\else
897 \def\setfilename{%
906 \outer\def\bye{\pagealignmacro\tracingstats=1\ptexend}
908 \def\inforef #1{\inforefzzz #1,,,,**}
909 \def\inforefzzz #1,#2,#3,#4**{\putwordSee{} \putwordInfo{} \putwordfile{} \file{\ignorespaces #3{}},
919 \def\sf{\fam=\sffam \tensf}
927 \def\setfont#1#2{\font#1=\fontprefix#2}
933 \def\fontprefix{cm}
958 \def\df{\let\tentt=\deftt \let\tenbf = \defbf \bf}
1033 \def\resetmathfonts{%
1044 % \def\bf{\fam=\bffam \tenbf} By redefining \tenbf, we obviate the need
1046 \def\textfonts{%
1051 \def\chapfonts{%
1056 \def\secfonts{%
1061 \def\subsecfonts{%
1066 \def\indexfonts{%
1089 \def\smartitalicx{\ifx\next,\else\ifx\next-\else\ifx\next.\else\/\fi\fi\fi}
1090 \def\smartitalic#1{{\sl #1}\futurelet\next\smartitalicx}
1098 \def\b#1{{\bf #1}}
1105 \def\nohyphenation{\hyphenchar\font = -1 \aftergroup\restorehyphenation}
1106 \def\restorehyphenation{\hyphenchar\font = `- }
1108 \def\t#1{%
1113 \def\samp #1{`\tclose{#1}'\null}
1114 \def\key #1{{\tt \nohyphenation \uppercase{#1}}\null}
1115 \def\ctrl #1{{\tt \rawbackslash \hat}#1}
1121 \def\tclose#1{%
1130 \def\ {{\spaceskip = 0pt{} }}%
1154 \global\def\code{\begingroup \catcode`\-=\active \let-\codedash \catcode`\_=\active \let_\codeunder \codex}
1159 \global\def\indexbreaks{\catcode`\-=\active \let-\realdash \catcode`\_=\active \let_\realunder}
1162 \def\realdash{-}
1163 \def\realunder{_}
1164 \def\codedash{-\discretionary{}{}{}}
1165 \def\codeunder{\normalunderscore\discretionary{}{}{}}
1166 \def\codex #1{\tclose{#1}\endgroup}
1173 \def\xkey{\key}
1174 \def\kbdfoo#1#2#3\par{\def\one{#1}\def\three{#3}\def\threex{??}%
1183 \def\dmn#1{\thinspace #1}
1185 \def\kbd#1{\def\look{#1}\expandafter\kbdfoo\look??\par}
1187 \def\l#1{{\li #1}\null} %
1189 \def\r#1{{\rm #1}} % roman font
1191 \def\sc#1{{\smallcaps#1}} % smallcaps font
1192 \def\ii#1{{\it #1}} % italic font
1200 \def\titlefont#1{{\titlerm #1}}
1205 \def\shorttitlepage{\parsearg\shorttitlepagezzz}
1206 \def\shorttitlepagezzz #1{\begingroup\hbox{}\vskip 1.5in \chaprm \centerline{#1}%
1209 \def\titlepage{\begingroup \parindent=0pt \textfonts
1214 \def\subtitlefont{\subtitlerm \normalbaselineskip = 13pt \normalbaselines}%
1216 \def\authorfont{\authorrm \normalbaselineskip = 16pt \normalbaselines}%
1222 \def\title{\parsearg\titlezzz}%
1223 \def\titlezzz##1{\leftline{\titlefont{##1}}
1231 \def\subtitle{\parsearg\subtitlezzz}%
1232 \def\subtitlezzz##1{{\subtitlefont \rightline{##1}}}%
1235 \def\author{\parsearg\authorzzz}%
1236 \def\authorzzz##1{\ifseenauthor\else\vskip 0pt plus 1filll\seenauthortrue\fi
1242 \def\page{%
1249 % \def\page{\oldpage \hbox{}}
1252 \def\Etitlepage{%
1265 \def\finishtitlepage{%
1294 \def\evenheading{\parsearg\evenheadingxxx}
1295 \def\oddheading{\parsearg\oddheadingxxx}
1296 \def\everyheading{\parsearg\everyheadingxxx}
1298 \def\evenfooting{\parsearg\evenfootingxxx}
1299 \def\oddfooting{\parsearg\oddfootingxxx}
1300 \def\everyfooting{\parsearg\everyfootingxxx}
1341 \def\headings #1 {\csname HEADINGS#1\endcsname}
1343 \def\HEADINGSoff{
1352 \def\HEADINGSdouble{
1362 \def\HEADINGSsingle{
1370 \def\HEADINGSon{\HEADINGSdouble}
1372 \def\HEADINGSafter{\let\HEADINGShook=\HEADINGSdoublex}
1374 \def\HEADINGSdoublex{%
1381 \def\HEADINGSsingleafter{\let\HEADINGShook=\HEADINGSsinglex}
1382 \def\HEADINGSsinglex{%
1391 \def\today{\number\day\space
1398 %\def\today{\ifcase\month\or
1406 \def\thistitle{No Title}
1407 \def\settitle{\parsearg\settitlezzz}
1408 \def\settitlezzz #1{\gdef\thistitle{#1}}
1417 %\def\tabs{\parsearg\tabszzz}
1418 %\def\tabszzz #1{\settabs\+#1\cr}
1419 %\def\tabline{\parsearg\tablinezzz}
1420 %\def\tablinezzz #1{\+#1\cr}
1421 %\def\&{&}
1442 \def\itemxpar{\par\ifitemxneedsnegativevskip\vskip-\parskip\nobreak\fi}
1444 \def\internalBitem{\smallbreak \parsearg\itemzzz}
1445 \def\internalBitemx{\itemxpar \parsearg\itemzzz}
1447 \def\internalBxitem "#1"{\def\xitemsubtopix{#1} \smallbreak \parsearg\xitemzzz}
1448 \def\internalBxitemx "#1"{\def\xitemsubtopix{#1} \itemxpar \parsearg\xitemzzz}
1450 \def\internalBkitem{\smallbreak \parsearg\kitemzzz}
1451 \def\internalBkitemx{\itemxpar \parsearg\kitemzzz}
1453 \def\kitemzzz #1{\dosubind {kw}{\code{#1}}{for {\bf \lastfunction}}%
1456 \def\xitemzzz #1{\dosubind {kw}{\code{#1}}{for {\bf \xitemsubtopic}}%
1459 \def\itemzzz #1{\begingroup %
1509 \def\item{\errmessage{@item while not in a table}}
1510 \def\itemx{\errmessage{@itemx while not in a table}}
1511 \def\kitem{\errmessage{@kitem while not in a table}}
1512 \def\kitemx{\errmessage{@kitemx while not in a table}}
1513 \def\xitem{\errmessage{@xitem while not in a table}}
1514 \def\xitemx{\errmessage{@xitemx while not in a table}}
1517 \def\description{\tablez{\dontindex}{1}{}{}{}{}}
1519 \def\table{\begingroup\inENV\obeylines\obeyspaces\tablex}
1524 \def\ftable{\begingroup\inENV\obeylines\obeyspaces\ftablex}
1528 \def\Eftable{\endgraf\afterenvbreak\endgroup}%
1531 \def\vtable{\begingroup\inENV\obeylines\obeyspaces\vtablex}
1535 \def\Evtable{\endgraf\afterenvbreak\endgroup}%
1538 \def\dontindex #1{}
1539 \def\fnitemindex #1{\doind {fn}{\code{#1}}}%
1540 \def\vritemindex #1{\doind {vr}{\code{#1}}}%
1546 \def\tablez #1#2#3#4#5#6{%
1549 \def\Edescription{\Etable}% Necessary kludge.
1554 \def\itemfont{#2}%
1562 \def\Etable{\endgraf\afterenvbreak\endgroup}%
1575 \def\itemize{\parsearg\itemizezzz}
1577 \def\itemizezzz #1{%
1582 \def\itemizey #1#2{%
1591 \def#2{\endgraf\afterenvbreak\endgroup}%
1592 \def\itemcontents{#1}%
1597 \def\frenchspacing{\sfcode46=1000 \sfcode63=1000 \sfcode33=1000
1603 \def\splitoff#1#2\endmark{\def\first{#1}\def\rest{#2}}%
1609 \def\enumerate{\parsearg\enumeratezzz}
1610 \def\enumeratezzz #1{\enumeratey #1 \endenumeratey}
1611 \def\enumeratey #1 #2\endenumeratey{%
1615 \def\thearg{#1}%
1616 \ifx\thearg\empty \def\thearg{1}\fi
1653 \def\numericenumerate{%
1659 \def\lowercaseenumerate{%
1672 \def\uppercaseenumerate{%
1688 \def\startenumeration#1{%
1696 \def\alphaenumerate{\enumerate{a}}
1697 \def\capsenumerate{\enumerate{A}}
1698 \def\Ealphaenumerate{\Eenumerate}
1699 \def\Ecapsenumerate{\Eenumerate}
1703 \def\itemizeitem{%
1784 \def\xendsetuptable{\endsetuptable}
1786 \def\xpercentofhsize{\percentofhsize}
1790 \def\setuptable#1{\def\firstarg{#1}%
1810 \def\tab{&}
1815 \def\multitable#1\item{\bgroup
1823 \def\Emultitable{\global\setpercentfalse\global\everycr{}\cr\egroup\egroup}%
1825 \def\one{#1}\expandafter\setuptable\one\endsetuptable
1881 \def\newindex #1{
1890 \def\defindex{\parsearg\newindex}
1894 \def\newcodeindex #1{
1901 \def\defcodeindex{\parsearg\newcodeindex}
1905 \def\synindex #1 #2 {%
1914 \def\syncodeindex #1 #2 {%
1931 \def\doindex#1{\edef\indexname{#1}\parsearg\singleindexer}
1932 \def\singleindexer #1{\doind{\indexname}{#1}}
1935 \def\docodeindex#1{\edef\indexname{#1}\parsearg\singlecodeindexer}
1936 \def\singlecodeindexer #1{\doind{\indexname}{\code{#1}}}
1938 \def\indexdummies{%
1940 \def\"{\realbackslash "}%
1941 \def\`{\realbackslash `}%
1942 \def\'{\realbackslash '}%
1943 \def\^{\realbackslash ^}%
1944 \def\~{\realbackslash ~}%
1945 \def\={\realbackslash =}%
1946 \def\b{\realbackslash b}%
1947 \def\c{\realbackslash c}%
1948 \def\d{\realbackslash d}%
1949 \def\u{\realbackslash u}%
1950 \def\v{\realbackslash v}%
1951 \def\H{\realbackslash H}%
1953 \def\oe{\realbackslash oe}%
1954 \def\ae{\realbackslash ae}%
1955 \def\aa{\realbackslash aa}%
1956 \def\OE{\realbackslash OE}%
1957 \def\AE{\realbackslash AE}%
1958 \def\AA{\realbackslash AA}%
1959 \def\o{\realbackslash o}%
1960 \def\O{\realbackslash O}%
1961 \def\l{\realbackslash l}%
1962 \def\L{\realbackslash L}%
1963 \def\ss{\realbackslash ss}%
1965 \def\_{{\realbackslash _}}%
1966 \def\w{\realbackslash w }%
1967 \def\bf{\realbackslash bf }%
1968 \def\rm{\realbackslash rm }%
1969 \def\sl{\realbackslash sl }%
1970 \def\sf{\realbackslash sf}%
1971 \def\tt{\realbackslash tt}%
1972 \def\gtr{\realbackslash gtr}%
1973 \def\less{\realbackslash less}%
1974 \def\hat{\realbackslash hat}%
1975 \def\char{\realbackslash char}%
1976 \def\TeX{\realbackslash TeX}%
1977 \def\dots{\realbackslash dots }%
1978 \def\copyright{\realbackslash copyright }%
1979 \def\tclose##1{\realbackslash tclose {##1}}%
1980 \def\code##1{\realbackslash code {##1}}%
1981 \def\samp##1{\realbackslash samp {##1}}%
1982 \def\t##1{\realbackslash r {##1}}%
1983 \def\r##1{\realbackslash r {##1}}%
1984 \def\i##1{\realbackslash i {##1}}%
1985 \def\b##1{\realbackslash b {##1}}%
1986 \def\cite##1{\realbackslash cite {##1}}%
1987 \def\key##1{\realbackslash key {##1}}%
1988 \def\file##1{\realbackslash file {##1}}%
1989 \def\var##1{\realbackslash var {##1}}%
1990 \def\kbd##1{\realbackslash kbd {##1}}%
1991 \def\dfn##1{\realbackslash dfn {##1}}%
1992 \def\emph##1{\realbackslash emph {##1}}%
2004 \def\indexdummyfont#1{#1}
2005 \def\indexdummytex{TeX}
2006 \def\indexdummydots{...}
2008 \def\indexnofonts{%
2023 \def\oe{oe}%
2024 \def\ae{ae}%
2025 \def\aa{aa}%
2026 \def\OE{OE}%
2027 \def\AE{AE}%
2028 \def\AA{AA}%
2029 \def\o{o}%
2030 \def\O{O}%
2031 \def\l{l}%
2032 \def\L{L}%
2033 \def\ss{ss}%
2069 \def\doind #1#2{%
2078 \def\rawbackslashxx{\indexbackslash}% \indexbackslash isn't defined now
2094 \def\dosubind #1#2#3{%
2099 \def\rawbackslashxx{\indexbackslash}%
2132 \def\findex {\fnindex}
2133 \def\kindex {\kyindex}
2134 \def\cindex {\cpindex}
2135 \def\vindex {\vrindex}
2136 \def\tindex {\tpindex}
2137 \def\pindex {\pgindex}
2139 \def\cindexsub {\begingroup\obeylines\cindexsub}
2151 \def\printindex{\parsearg\doprintindex}
2153 \def\doprintindex#1{%
2171 \def\indexbackslash{\rawbackslashxx}
2207 \def\initial #1{%
2217 \def\entry #1#2{\begingroup
2255 \def\tempa{{\rm }}%
2256 \def\tempb{#2}%
2276 \def\indexdotfill{\cleaders
2279 \def\primary #1{\line{#1\hfil}}
2283 \def\secondary #1#2{
2297 \def\begindoublecolumns{\begingroup
2333 \def\enddoublecolumns{\eject \endgroup \pagegoal=\vsize \unvbox\partialpage}
2335 \def\doublecolumnsplit{\splittopskip=\topskip \splitmaxdepth=\maxdepth
2342 \def\doublecolumnpagegoal{%
2345 \def\pagesofar{\unvbox\partialpage %
2348 \def\doublecolumnout{%
2385 \def\appendixletter{\char\the\appendixno}
2389 \def\opencontents{\openout \contentsfile = \jobname.toc}
2394 \def\thischapter{} \def\thissection{}
2395 \def\seccheck#1{\if \pageno<0 %
2400 \def\chapternofonts{%
2403 \def\result{\realbackslash result}
2404 \def\equiv{\realbackslash equiv}
2405 \def\expansion{\realbackslash expansion}
2406 \def\print{\realbackslash print}
2407 \def\TeX{\realbackslash TeX}
2408 \def\dots{\realbackslash dots}
2409 \def\copyright{\realbackslash copyright}
2410 \def\tt{\realbackslash tt}
2411 \def\bf{\realbackslash bf }
2412 \def\w{\realbackslash w}
2413 \def\less{\realbackslash less}
2414 \def\gtr{\realbackslash gtr}
2415 \def\hat{\realbackslash hat}
2416 \def\char{\realbackslash char}
2417 \def\tclose##1{\realbackslash tclose {##1}}
2418 \def\code##1{\realbackslash code {##1}}
2419 \def\samp##1{\realbackslash samp {##1}}
2420 \def\r##1{\realbackslash r {##1}}
2421 \def\b##1{\realbackslash b {##1}}
2422 \def\key##1{\realbackslash key {##1}}
2423 \def\file##1{\realbackslash file {##1}}
2424 \def\kbd##1{\realbackslash kbd {##1}}
2426 \def\i##1{\realbackslash i {##1}}
2427 \def\cite##1{\realbackslash cite {##1}}
2428 \def\var##1{\realbackslash var {##1}}
2429 \def\emph##1{\realbackslash emph {##1}}
2430 \def\dfn##1{\realbackslash dfn {##1}}
2437 \def\raisesections{\global\advance\secbase by -1}
2441 \def\lowersections{\global\advance\secbase by 1}
2447 \def\numhead#1#2{\absseclevel=\secbase\advance\absseclevel by #1
2466 \def\apphead#1#2{\absseclevel=\secbase\advance\absseclevel by #1
2485 \def\unnmhead#1#2{\absseclevel=\secbase\advance\absseclevel by #1
2504 \def\thischaptername{No Chapter Title}
2505 \outer\def\chapter{\parsearg\chapteryyy}
2506 \def\chapteryyy #1{\numhead0{#1}} % normally numhead0 calls chapterzzz
2507 \def\chapterzzz #1{\seccheck{chapter}%
2526 \outer\def\appendix{\parsearg\appendixyyy}
2527 \def\appendixyyy #1{\apphead0{#1}} % normally apphead0 calls appendixzzz
2528 \def\appendixzzz #1{\seccheck{appendix}%
2546 \outer\def\top{\parsearg\unnumberedyyy}
2547 \outer\def\unnumbered{\parsearg\unnumberedyyy}
2548 \def\unnumberedyyy #1{\unnmhead0{#1}} % normally unnmhead0 calls unnumberedzzz
2549 \def\unnumberedzzz #1{\seccheck{unnumbered}%
2576 \outer\def\numberedsec{\parsearg\secyyy}
2577 \def\secyyy #1{\numhead1{#1}} % normally calls seczzz
2578 \def\seczzz #1{\seccheck{section}%
2590 \outer\def\appendixsection{\parsearg\appendixsecyyy}
2591 \outer\def\appendixsec{\parsearg\appendixsecyyy}
2592 \def\appendixsecyyy #1{\apphead1{#1}} % normally calls appendixsectionzzz
2593 \def\appendixsectionzzz #1{\seccheck{appendixsection}%
2605 \outer\def\unnumberedsec{\parsearg\unnumberedsecyyy}
2606 \def\unnumberedsecyyy #1{\unnmhead1{#1}} % normally calls unnumberedseczzz
2607 \def\unnumberedseczzz #1{\seccheck{unnumberedsec}%
2617 \outer\def\numberedsubsec{\parsearg\numberedsubsecyyy}
2618 \def\numberedsubsecyyy #1{\numhead2{#1}} % normally calls numberedsubseczzz
2619 \def\numberedsubseczzz #1{\seccheck{subsection}%
2631 \outer\def\appendixsubsec{\parsearg\appendixsubsecyyy}
2632 \def\appendixsubsecyyy #1{\apphead2{#1}} % normally calls appendixsubseczzz
2633 \def\appendixsubseczzz #1{\seccheck{appendixsubsec}%
2645 \outer\def\unnumberedsubsec{\parsearg\unnumberedsubsecyyy}
2646 \def\unnumberedsubsecyyy #1{\unnmhead2{#1}} %normally calls unnumberedsubseczzz
2647 \def\unnumberedsubseczzz #1{\seccheck{unnumberedsubsec}%
2657 \outer\def\numberedsubsubsec{\parsearg\numberedsubsubsecyyy}
2658 \def\numberedsubsubsecyyy #1{\numhead3{#1}} % normally numberedsubsubseczzz
2659 \def\numberedsubsubseczzz #1{\seccheck{subsubsection}%
2674 \outer\def\appendixsubsubsec{\parsearg\appendixsubsubsecyyy}
2675 \def\appendixsubsubsecyyy #1{\apphead3{#1}} % normally appendixsubsubseczzz
2676 \def\appendixsubsubseczzz #1{\seccheck{appendixsubsubsec}%
2690 \outer\def\unnumberedsubsubsec{\parsearg\unnumberedsubsubsecyyy}
2691 \def\unnumberedsubsubsecyyy #1{\unnmhead3{#1}} %normally unnumberedsubsubseczzz
2692 \def\unnumberedsubsubseczzz #1{\seccheck{unnumberedsubsubsec}%
2704 \def\infotop{\parsearg\unnumberedzzz}
2705 \def\infounnumbered{\parsearg\unnumberedzzz}
2706 \def\infounnumberedsec{\parsearg\unnumberedseczzz}
2707 \def\infounnumberedsubsec{\parsearg\unnumberedsubseczzz}
2708 \def\infounnumberedsubsubsec{\parsearg\unnumberedsubsubseczzz}
2710 \def\infoappendix{\parsearg\appendixzzz}
2711 \def\infoappendixsec{\parsearg\appendixseczzz}
2712 \def\infoappendixsubsec{\parsearg\appendixsubseczzz}
2713 \def\infoappendixsubsubsec{\parsearg\appendixsubsubseczzz}
2715 \def\infochapter{\parsearg\chapterzzz}
2716 \def\infosection{\parsearg\sectionzzz}
2717 \def\infosubsection{\parsearg\subsectionzzz}
2718 \def\infosubsubsection{\parsearg\subsubsectionzzz}
2739 \def\majorheading{\parsearg\majorheadingzzz}
2740 \def\majorheadingzzz #1{%
2746 \def\chapheading{\parsearg\chapheadingzzz}
2747 \def\chapheadingzzz #1{\chapbreak %
2752 \def\heading{\parsearg\secheadingi}
2754 \def\subheading{\parsearg\subsecheadingi}
2756 \def\subsubheading{\parsearg\subsubsecheadingi}
2763 \def\dobreak#1#2{\par\ifdim\lastskip<#1\removelastskip\penalty#2\vskip#1\fi}
2765 \def\setchapterstyle #1 {\csname CHAPF#1\endcsname}
2772 \def\chapbreak{\dobreak \chapheadingskip {-4000}}
2773 \def\chappager{\par\vfill\supereject}
2774 \def\chapoddpage{\chappager \ifodd\pageno \else \hbox to 0pt{} \chappager\fi}
2776 \def\setchapternewpage #1 {\csname CHAPPAG#1\endcsname}
2778 \def\CHAPPAGoff{
2782 \def\CHAPPAGon{
2785 \global\def\HEADINGSon{\HEADINGSsingle}}
2787 \def\CHAPPAGodd{
2790 \global\def\HEADINGSon{\HEADINGSdouble}}
2794 \def\CHAPFplain{
2798 \def\chfplain #1#2{%
2809 \def\unnchfplain #1{%
2817 \def\unnchfopen #1{%
2823 \def\chfopen #1#2{\chapoddpage {\chapfonts
2828 \def\CHAPFopen{
2835 \def\subsecheadingbreak{\dobreak \subsecheadingskip {-500}}
2838 \def\secheadingbreak{\dobreak \secheadingskip {-1000}}
2846 \def\secheading #1#2#3{\secheadingi {#2.#3\enspace #1}}
2847 \def\plainsecheading #1{\secheadingi {#1}}
2848 \def\secheadingi #1{{\advance \secheadingskip by \parskip %
2859 \def\subsecheading #1#2#3#4{\subsecheadingi {#2.#3.#4\enspace #1}}
2860 \def\subsecheadingi #1{{\advance \subsecheadingskip by \parskip %
2867 \def\subsubsecfonts{\subsecfonts} % Maybe this should change:
2870 \def\subsubsecheading #1#2#3#4#5{\subsubsecheadingi {#2.#3.#4.#5\enspace #1}}
2871 \def\subsubsecheadingi #1{{\advance \subsecheadingskip by \parskip %
2885 \def\startcontents#1{%
2893 \unnumbchapmacro{#1}\def\thischapter{}%
2903 \outer\def\contents{%
2911 \outer\def\summarycontents{%
2921 \def\secentry ##1##2##3##4{}
2922 \def\unnumbsecentry ##1##2{}
2923 \def\subsecentry ##1##2##3##4##5{}
2924 \def\unnumbsubsecentry ##1##2{}
2925 \def\subsubsecentry ##1##2##3##4##5##6{}
2926 \def\unnumbsubsubsecentry ##1##2{}
2939 \def\chapentry#1#2#3{\dochapentry{#2\labelspace#1}{#3}}
2942 \def\shortchapentry#1#2#3{%
2954 \def\shortchaplabel#1{%
2968 \def\unnumbchapentry#1#2{\dochapentry{#1}{#2}}
2969 \def\shortunnumberedentry#1#2{\tocentry{#1}{\doshortpageno{#2}}}
2972 \def\secentry#1#2#3#4{\dosecentry{#2.#3\labelspace#1}{#4}}
2973 \def\unnumbsecentry#1#2{\dosecentry{#1}{#2}}
2976 \def\subsecentry#1#2#3#4#5{\dosubsecentry{#2.#3.#4\labelspace#1}{#5}}
2977 \def\unnumbsubsecentry#1#2{\dosubsecentry{#1}{#2}}
2980 \def\subsubsecentry#1#2#3#4#5#6{%
2982 \def\unnumbsubsubsecentry#1#2{\dosubsubsecentry{#1}{#2}}
2993 \def\dochapentry#1#2{%
3002 \def\dosecentry#1#2{\begingroup
3007 \def\dosubsecentry#1#2{\begingroup
3012 \def\dosubsubsecentry#1#2{\begingroup
3023 \def\tocentry#1#2{\begingroup
3029 \def\labelspace{\hskip1em \relax}
3031 \def\dopageno#1{{\rm #1}}
3032 \def\doshortpageno#1{{\rm #1}}
3034 \def\chapentryfonts{\secfonts \rm}
3035 \def\secentryfonts{\textfonts}
3061 \def\point{$\star$}
3063 \def\result{\leavevmode\raise.15ex\hbox to 1em{\hfil$\Rightarrow$\hfil}}
3064 \def\expansion{\leavevmode\raise.1ex\hbox to 1em{\hfil$\mapsto$\hfil}}
3065 \def\print{\leavevmode\lower.1ex\hbox to 1em{\hfil$\dashv$\hfil}}
3067 \def\equiv{\leavevmode\lower.1ex\hbox to 1em{\hfil$\ptexequiv$\hfil}}
3087 \def\error{\leavevmode\lower.7ex\copy\errorbox}
3093 \def\tex{\begingroup
3112 \def\@{@}%
3129 \def\lisppar{\null\endgraf}
3152 \def\aboveenvbreak{{\advance\envskipamount by \parskip
3169 \def\ctl{{\circle\char'013\hskip -6pt}}% 6pt from pl file: 1/2charwidth
3170 \def\ctr{{\hskip 6pt\circle\char'010}}
3171 \def\cbl{{\circle\char'012\hskip -6pt}}
3172 \def\cbr{{\hskip 6pt\circle\char'011}}
3173 \def\carttop{\hbox to \cartouter{\hskip\lskip
3176 \def\cartbot{\hbox to \cartouter{\hskip\lskip
3182 \long\def\cartouche{%
3209 \def\Ecartouche{%
3224 \def\nonfillstart{%
3251 \def\nonfillfinish{\afterenvbreak\endgroup}%
3254 \def\lisp{\begingroup
3268 \def\example{\begingroup \def\Eexample{\nonfillfinish\endgroup}\lisp}
3269 \def\smallexample{\begingroup \def\Esmallexample{\nonfillfinish\endgroup}\lisp}
3270 \def\smalllisp{\begingroup \def\Esmalllisp{\nonfillfinish\endgroup}\lisp}
3275 \def\smalllispx{\begingroup
3289 \def\display{\begingroup
3297 \def\format{\begingroup
3306 \def\flushleft{\begingroup
3312 \def\flushright{\begingroup
3322 \def\quotation{%
3329 \def\Equotation{\parskip = 0pt \nonfillfinish}%
3343 \def\setdeffont #1 {\csname DEF#1\endcsname}
3353 \def\activeparens{%
3393 \def\opnr{{\sf\char`\(}} \def\clnr{{\sf\char`\)}} \def\ampnr{\&}
3394 \def\lbrb{{\bf\char`\[}} \def\rbrb{{\bf\char`\]}}
3400 \def\defname #1#2{%
3402 % outside the @def...
3432 \def\defparsebody #1#2#3{\begingroup\inENV% Environment for definitionbody
3436 \def#1{\endgraf\endgroup\medbreak}%
3437 \def#2{\begingroup\obeylines\activeparens\spacesplit#3}%
3445 \def\defmethparsebody #1#2#3#4 {\begingroup\inENV %
3449 \def#1{\endgraf\endgroup\medbreak}%
3450 \def#2##1 {\begingroup\obeylines\activeparens\spacesplit{#3{##1}}}%
3456 \def\defopparsebody #1#2#3#4#5 {\begingroup\inENV %
3460 \def#1{\endgraf\endgroup\medbreak}%
3461 \def#2##1 ##2 {\def#4{##1}%
3472 \def\defvarparsebody #1#2#3{\begingroup\inENV% Environment for definitionbody
3476 \def#1{\endgraf\endgroup\medbreak}%
3477 \def#2{\begingroup\obeylines\spacesplit#3}%
3485 % This is used for \def{tp,vr}parsebody. It could probably be used for
3488 \def\parsebodycommon#1#2#3{%
3493 \def#1{\endgraf\endgroup\medbreak}%
3494 \def#2##1 {\begingroup\obeylines\spacesplit{#3{##1}}}%
3501 \def\defvrparsebody#1#2#3#4 {%
3515 \def\deftpparsebody #1#2#3#4 {%
3523 \def\removeemptybraces\empty#1\relax{\def\tptemp{#1}}%
3529 \def\parsetpheaderline#1#2#3{%
3534 \def\defopvarparsebody #1#2#3#4#5 {\begingroup\inENV %
3538 \def#1{\endgraf\endgroup\medbreak}%
3539 \def#2##1 ##2 {\def#4{##1}%
3566 \def\defunargs #1{\functionparens \sl
3572 \ifnum\parencount=0 \else \errmessage{unbalanced parens in @def arguments}\fi%
3578 \def\deftypefunargs #1{%
3593 \def\deffn{\defmethparsebody\Edeffn\deffnx\deffnheader}
3595 \def\deffnheader #1#2#3{\doind {fn}{\code{#2}}%
3602 \def\defun{\defparsebody\Edefun\defunx\defunheader}
3604 \def\defunheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
3612 \def\deftypefun{\defparsebody\Edeftypefun\deftypefunx\deftypefunheader}
3615 \def\deftypefunheader #1#2{\deftypefunheaderx{#1}#2 \relax}
3617 \def\deftypefunheaderx #1#2 #3\relax{%
3626 \def\deftypefn{\defmethparsebody\Edeftypefn\deftypefnx\deftypefnheader}
3630 \def\defheaderxcond#1#2$$${\ifx#1\relax\else\code{#1#2} \fi}
3633 \def\deftypefnheader #1#2#3{\deftypefnheaderx{#1}{#2}#3 \relax}
3635 \def\deftypefnheaderx #1#2#3 #4\relax{%
3647 \def\defmac{\defparsebody\Edefmac\defmacx\defmacheader}
3649 \def\defmacheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
3657 \def\defspec{\defparsebody\Edefspec\defspecx\defspecheader}
3659 \def\defspecheader #1#2{\doind {fn}{\code{#1}}% Make entry in function index
3668 \def\deffnx #1 {\errmessage{@deffnx in invalid context}}
3669 \def\defunx #1 {\errmessage{@defunx in invalid context}}
3670 \def\defmacx #1 {\errmessage{@defmacx in invalid context}}
3671 \def\defspecx #1 {\errmessage{@defspecx in invalid context}}
3672 \def\deftypefnx #1 {\errmessage{@deftypefnx in invalid context}}
3673 \def\deftypeunx #1 {\errmessage{@deftypeunx in invalid context}}
3679 \def\defop #1 {\def\defoptype{#1}%
3682 \def\defopheader #1#2#3{%
3690 \def\defmethod{\defmethparsebody\Edefmethod\defmethodx\defmethodheader}
3692 \def\defmethodheader #1#2#3{%
3700 \def\defcv #1 {\def\defcvtype{#1}%
3703 \def\defcvarheader #1#2#3{%
3711 \def\defivar{\defvrparsebody\Edefivar\defivarx\defivarheader}
3713 \def\defivarheader #1#2#3{%
3722 \def\defopx #1 {\errmessage{@defopx in invalid context}}
3723 \def\defmethodx #1 {\errmessage{@defmethodx in invalid context}}
3724 \def\defcvx #1 {\errmessage{@defcvx in invalid context}}
3725 \def\defivarx #1 {\errmessage{@defivarx in invalid context}}
3732 \def\defvarargs #1{\normalparens #1%
3738 \def\defvr{\defvrparsebody\Edefvr\defvrx\defvrheader}
3740 \def\defvrheader #1#2#3{\doind {vr}{\code{#2}}%
3745 \def\defvar{\defvarparsebody\Edefvar\defvarx\defvarheader}
3747 \def\defvarheader #1#2{\doind {vr}{\code{#1}}% Make entry in var index
3754 \def\defopt{\defvarparsebody\Edefopt\defoptx\defoptheader}
3756 \def\defoptheader #1#2{\doind {vr}{\code{#1}}% Make entry in var index
3763 \def\deftypevar{\defvarparsebody\Edeftypevar\deftypevarx\deftypevarheader}
3766 \def\deftypevarheader #1#2{%
3775 \def\deftypevr{\defvrparsebody\Edeftypevr\deftypevrx\deftypevrheader}
3777 \def\deftypevrheader #1#2#3{\doind {vr}{\code{#3}}%
3786 \def\defvrx #1 {\errmessage{@defvrx in invalid context}}
3787 \def\defvarx #1 {\errmessage{@defvarx in invalid context}}
3788 \def\defoptx #1 {\errmessage{@defoptx in invalid context}}
3789 \def\deftypevarx #1 {\errmessage{@deftypevarx in invalid context}}
3790 \def\deftypevrx #1 {\errmessage{@deftypevrx in invalid context}}
3795 \def\deftpargs #1{\bf \defvarargs{#1}}
3799 \def\deftp{\deftpparsebody\Edeftp\deftpx\deftpheader}
3801 \def\deftpheader #1#2#3{\doind {tp}{\code{#2}}%
3807 \def\deftpx #1 {\errmessage{@deftpx in invalid context}}
3818 \def\setref#1{%
3823 \def\unnumbsetref#1{%
3828 \def\appendixsetref#1{%
3839 \def\pxref#1{\putwordsee{} \xrefX[#1,,,,,,,]}
3840 \def\xref#1{\putwordSee{} \xrefX[#1,,,,,,,]}
3841 \def\ref#1{\xrefX[#1,,,,,,,]}
3842 \def\xrefX[#1,#2,#3,#4,#5,#6]{\begingroup
3843 \def\printedmanual{\ignorespaces #5}%
3844 \def\printednodename{\ignorespaces #3}%
3851 \def\printednodename{\ignorespaces #1}%
3857 \def\printednodename{\ignorespaces #1}%
3861 \def\printednodename{\refx{#1-title}{}}%
3864 \def\printednodename{\ignorespaces #1}%
3894 \def\dosetq #1#2{{\let\folio=0 \turnoffactive \auxhat%
3902 \def\internalsetq #1#2{'xrdef {#1}{\csname #2\endcsname}}
3906 \def\Ypagenumber{\folio}
3908 \def\Ytitle{\thissection}
3910 \def\Ynothing{}
3912 \def\Ysectionnumberandtype{%
3921 \def\Yappendixletterandtype{%
3938 \def\linenumber{\the\inputlineno:\space}
3944 \def\refx#1#2{%
3966 \def\xrdef #1#2{
3969 \def\readauxfile{%
4019 \def\loop{%
4053 \def\supereject{\par\penalty -20000\footnoteno =0 }
4112 \def\lineskipfactor{.08333}
4113 \def\strutheightpercent{.70833}
4114 \def\strutdepthpercent {.29167}
4116 \def\setleading#1{%
4132 \def\|{%
4159 \def\finalout{\overfullrule=0pt}
4166 \def\openindices{%
4198 \def\emergencystretch{\dimen0}%
4205 \def\smallbook{
4229 \global\def\Esmallexample{\Esmalllisp}
4233 \def\afourpaper{
4256 \def\changepagesizes#1#2#3#4#5{
4272 \def\afourlatex{\changepagesizes{22cm}{15cm}{7mm}{4.6mm}{5mm}}
4275 \def\afourwide{\afourpaper
4287 \def\normaldoublequote{"}
4288 \def\normaltilde{~}
4289 \def\normalcaret{^}
4290 \def\normalunderscore{_}
4291 \def\normalverticalbar{|}
4292 \def\normalless{<}
4293 \def\normalgreater{>}
4294 \def\normalplus{+}
4305 \def\ifusingtt#1#2{\ifdim \fontdimen3\the\font=0pt #1\else #2\fi}
4313 \def\activedoublequote{{\tt \char '042}}
4316 \def~{{\tt \char '176}}
4319 \def\auxhat{\def^{'hat}}
4320 \def^{{\tt \hat}}
4325 \def\_{\lvvmode \kern.06em \vbox{\hrule width.3em height.1ex}}
4332 \def\lvvmode{\vbox to 0pt{}}
4335 \def|{{\tt \char '174}}
4338 \def<{{\tt \less}}
4341 \def>{{\tt \gtr}}
4343 \def+{{\tt \char 43}}
4345 %\def^^[{$\diamondsuit$}
4349 \global\def={{\tt \char 61}}}
4358 \def\otherifyactive{\catcode`+=\other \catcode`\_=\other}
4372 \def\normalbackslash{{\tt\rawbackslashxx}}
4382 @def@turnoffactive{@let"=@normaldoublequote
4392 @def@normalturnoffactive{@let"=@normaldoublequote