axiom.sty

% axiom.sty -- LaTeX support for noweb
% DON'T edit this file!  Use src/doc/axiom.sty.pamphlet instead.
{\obeyspaces\AtBeginDocument{\global\let =\ }} % from texbook, p 381
\def\nwopt@nomargintag{\let\nwmargintag=\@gobble}
\def\nwopt@margintag{%
  \def\nwmargintag##1{\leavevmode\llap{##1\kern\nwmarginglue\kern\codemargin}}}
\def\nwopt@margintag{%
  \def\nwmargintag##1{\leavevmode\kern-\codemargin\nwthemargintag{##1}\kern\codemargin}}
\def\nwthemargintag#1{\llap{#1\kern\nwmarginglue}}
\nwopt@margintag
\newdimen\nwmarginglue
\nwmarginglue=0.3in
\def\nwtagstyle{\footnotesize\Rm}
% make \hsize in code sufficient for 88 columns
\setbox0=\hbox{\tt m}
\newdimen\codehsize
\codehsize=91\wd0 % 88 columns wasn't enough; I don't know why
\newdimen\codemargin
\codemargin=0pt
\newdimen\nwdefspace
\nwdefspace=\codehsize
% need to use \textwidth in {\LaTeX} to handle styles with
% non-standard margins (David Bruce).  Don't know why we sometimes
% wanted \hsize.  27 August 1997.
%% \advance\nwdefspace by -\hsize\relax
\ifx\textwidth\undefined
  \advance\nwdefspace by -\hsize\relax
\else
  \advance\nwdefspace by -\textwidth\relax
\fi
\chardef\other=12
\def\setupcode{%
  \chardef\\=`\\
  \chardef\{=`\{
  \chardef\}=`\}
  \catcode`\$=\other
  \catcode`\&=\other
  \catcode`\#=\other
  \catcode`\%=\other
  \catcode`\~=\other
  \catcode`\_=\other
  \catcode`\^=\other
  \catcode`\"=\other    % fixes problem with german.sty
  \obeyspaces\Tt
}
\let\nwlbrace=\{
\let\nwrbrace=\}
\def\nwendquote{\relax\ifhmode\spacefactor=1000 \fi}
{\catcode`\^^M=\active % make CR an active character
  \gdef\newlines{\catcode`\^^M=\active % make CR an active character
         \def^^M{\par\startline}}%
  \gdef\eatline#1^^M{\relax}%
}
%%% DON'T   \gdef^^M{\par\startline}}% in case ^^M appears in a \write
\def\startline{\noindent\hskip\parindent\ignorespaces}
\def\nwnewline{\ifvmode\else\hfil\break\leavevmode\hbox{}\fi}
\def\setupmodname{%
  \catcode`\$=3
  \catcode`\&=4
  \catcode`\#=6
  \catcode`\%=14
  \catcode`\~=13
  \catcode`\_=8
  \catcode`\^=7
  \catcode`\ =10
  \catcode`\^^M=5
  \let\{\nwlbrace
  \let\}\nwrbrace
  % bad news --- don't know what catcode to give "
  \Rm}
\def\LA{\begingroup\maybehbox\bgroup\setupmodname\It$\langle$}
\def\RA{\/$\rangle$\egroup\endgroup}
\def\code{\leavevmode\begingroup\setupcode\newlines}
\def\edoc{\endgroup}
\let\maybehbox\relax
\newbox\equivbox
\setbox\equivbox=\hbox{$\equiv$}
\newbox\plusequivbox
\setbox\plusequivbox=\hbox{$\mathord{+}\mathord{\equiv}$}
% \moddef can't have an argument because there might be \code...\edoc
\def\moddef{\leavevmode\kern-\codemargin\LA}
\def\endmoddef{\RA\ifmmode\equiv\else\unhcopy\equivbox\fi
               \nobreak\hfill\nobreak}
\def\plusendmoddef{\RA\ifmmode\mathord{+}\mathord{\equiv}\else\unhcopy\plusequivbox\fi
               \nobreak\hfill\nobreak}
\def\chunklist{%
\errhelp{I changed \chunklist to \nowebchunks.  
I'll try to avoid such incompatible changes in the future.}%
\errmessage{Use \string\nowebchunks\space instead of \string\chunklist}}
\def\nowebchunks{\message{<Warning: You need noweave -x to use \string\nowebchunks>}}
\def\nowebindex{\message{<Warning: You need noweave -index to use \string\nowebindex>}}
% here is support for the new-style (capitalized) font-changing commands
% thanks to Dave Love
\ifx\documentstyle\undefined
  \let\Rm=\rm \let\It=\it \let\Tt=\tt       % plain
\else\ifx\selectfont\undefined
  \let\Rm=\rm \let\It=\it \let\Tt=\tt       % LaTeX OFSS
\else                                       % LaTeX NFSS
  \def\Rm{\reset@font\rm}
  \def\It{\reset@font\it}
  \def\Tt{\reset@font\tt}
  \def\Bf{\reset@font\bf}
\fi\fi
\ifx\reset@font\undefined \let\reset@font=\relax \fi
\def\noweboptions#1{%
  \def\@nwoptionlist{#1}%
  \@for\@nwoption:=\@nwoptionlist\do{%
    \@ifundefined{nwopt@\@nwoption}{%
        \@latexerr{There is no such noweb option as '\@nwoption'}\@eha}{%
        \csname nwopt@\@nwoption\endcsname}}}
\codemargin=10pt
\advance\codehsize by \codemargin       % make room for indentation of code
\advance\nwdefspace by \codemargin      % and fix adjustment for def/use
\def\setcodemargin#1{%
  \advance\codehsize by -\codemargin       % make room for indentation of code
  \advance\nwdefspace by -\codemargin   % and fix adjustment for def/use
  \codemargin=#1
  \advance\codehsize by \codemargin       % make room for indentation of code
  \advance\nwdefspace by \codemargin    % and fix adjustment for
                                        % def/use
}
\def\nwopt@shift{%
  \dimen@=-0.8in
  \if@twoside                 % Values for two-sided printing:
     \advance\evensidemargin by \dimen@
  \else                       % Values for one-sided printing:
     \advance\evensidemargin by \dimen@
     \advance\oddsidemargin by \dimen@
  \fi
%  \advance \marginparwidth -\dimen@
}
\let\nwopt@noshift\@empty
\def\nwbegincode#1{%
  \begingroup
    \topsep \nwcodetopsep
    \@beginparpenalty \@highpenalty
    \@endparpenalty -\@highpenalty
  \@begincode }
\def\nwendcode{\endtrivlist \endgroup \filbreak} % keeps code on 1 page

\newenvironment{webcode}{%
  \@begincode
}{%
  \endtrivlist}
\def\@begincode{%
    \trivlist \item[]%
    \leftskip\@totalleftmargin \advance\leftskip\codemargin
    \rightskip\hsize \advance\rightskip -\codehsize
    \parskip\z@ \parindent\z@ \parfillskip\@flushglue
  \linewidth\codehsize
    \@@par
    \def\par{\leavevmode\null \@@par \penalty\nwcodepenalty}%
    \obeylines
    \@noligs   \ifx\verbatim@nolig@list\undefined\else
                 \let\do=\nw@makeother \verbatim@nolig@list \do@noligs\`
               \fi
    \setupcode \frenchspacing \@vobeyspaces
  \nowebsize \setupcode
  \let\maybehbox\mbox }
  \newskip\nwcodetopsep \nwcodetopsep = 3pt plus 1.2pt minus 1pt
  \let\nowebsize=\normalsize
  \def\nwopt@tinycode{\let\nowebsize=\tiny}
  \def\nwopt@footnotesizecode{\let\nowebsize=\footnotesize}
  \def\nwopt@scriptsizecode{\let\nowebsize=\scriptsize}
  \def\nwopt@smallcode{\let\nowebsize=\small}
  \def\nwopt@normalsizecode{\let\nowebsize=\normalsize}
  \def\nwopt@largecode{\let\nowebsize=\large}
  \def\nwopt@Largecode{\let\nowebsize=\Large}
  \def\nwopt@LARGEcode{\let\nowebsize=\LARGE}
  \def\nwopt@hugecode{\let\nowebsize=\huge}
  \def\nwopt@Hugecode{\let\nowebsize=\Huge}
\newcount\nwcodepenalty  \nwcodepenalty=\@highpenalty
\def\nw@makeother#1{\catcode`#1=12 }
\def\nwbegindocs#1{\ifvmode\noindent\fi}
\let\nwenddocs=\relax
\let\nwdocspar=\filbreak
\raggedbottom
\def\code{\leavevmode\begingroup\setupcode\@vobeyspaces\obeylines}
\let\edoc=\endgroup
\newdimen\@original@textwidth
\def\ps@noweb{%
  \@original@textwidth=\textwidth
  \let\@mkboth\@gobbletwo
  \def\@oddfoot{}\def\@evenfoot{}%       No feet.
  \if@twoside         % If two-sided printing.
    \def\@evenhead{\hbox to \@original@textwidth{%
           \Rm \thepage\qquad{\Tt\leftmark}\hfil\today}}%        Left heading.
    \def\@oddhead{\hbox to \@original@textwidth{%
           \Rm \today\hfil{\Tt\leftmark}\qquad\thepage}}% Right heading.
  \else               % If one-sided printing.
    \def\@oddhead{\hbox to \@original@textwidth{%
           \Rm \today\hfil{\Tt\leftmark}\qquad\thepage}}% Right heading.
    \let\@evenhead\@oddhead
  \fi
  \let\chaptermark\@gobble
  \let\sectionmark\@gobble
  \let\subsectionmark\@gobble
  \let\subsubsectionmark\@gobble
  \let\paragraphmark\@gobble
  \let\subparagraphmark\@gobble
  \def\nwfilename{\begingroup\let\do\@makeother\dospecials
                \catcode`\{=1 \catcode`\}=2 \nw@filename}
  \def\nw@filename##1{\endgroup\markboth{##1}{##1}\let\nw@filename=\nw@laterfilename}%
}
\def\nw@laterfilename#1{\endgroup\clearpage \markboth{#1}{#1}}
\let\nwfilename=\@gobble
\def\nwcodecomment#1{\@@par\penalty\nwcodepenalty
    \if@firstnwcodecomment
      \vskip\nwcodecommentsep\penalty\nwcodepenalty\@firstnwcodecommentfalse
    \fi%
    \hspace{-\codemargin}{%
        \rightskip=0pt plus1in
        \interlinepenalty\nwcodepenalty
        \let\\\relax\footnotesize\Rm #1\@@par\penalty\nwcodepenalty}}
\def\@nwalsodefined#1{\nwcodecomment{\@nwlangdepdef\ \nwpageprep\ \@pagesl{#1}.}}
\def\@nwused#1{\nwcodecomment{\@nwlangdepcud\ \nwpageprep\ \@pagesl{#1}.}}
\def\@nwnotused#1{\nwcodecomment{\@nwlangdeprtc.}}
\def\nwoutput#1{\nwcodecomment{\@nwlangdepcwf\ {\Tt \@stripstar#1*\stripped}.}}
\def\@stripstar#1*#2\stripped{#1}
\newcommand{\nwprevdefptr}[1]{%
  \mbox{$\mathord{\triangleleft}\,\mathord{\mbox{\subpageref{#1}}}$}}
\newcommand{\nwnextdefptr}[1]{%
  \mbox{$\mathord{\mbox{\subpageref{#1}}}\,\mathord{\triangleright}$}}

\newcommand{\@nwprevnextdefs}[2]{%
  {\nwtagstyle
  \ifx\relax#1\else ~~\nwprevdefptr{#1}\fi
  \ifx\relax#2\else ~~\nwnextdefptr{#2}\fi}}
\newcommand{\@nwusesondefline}[1]{{\nwtagstyle~~(\@pagenumsl{#1})}}
\newcommand{\@nwstartdeflinemarkup}{\nobreak\hskip 1.5em plus 1fill\nobreak}
\newcommand{\@nwenddeflinemarkup}{\nobreak\hskip \nwdefspace minus\nwdefspace\nobreak}
\def\nwopt@longxref{%
  \let\nwalsodefined\@nwalsodefined
  \let\nwused\@nwused
  \let\nwnotused\@nwnotused
  \let\nwprevnextdefs\@gobbletwo
  \let\nwusesondefline\@gobble
  \let\nwstartdeflinemarkup\relax
  \let\nwenddeflinemarkup\relax
}
\def\nwopt@shortxref{%
  \let\nwalsodefined\@gobble
  \let\nwused\@gobble
  \let\nwnotused\@gobble
  \let\nwprevnextdefs\@nwprevnextdefs
  \let\nwusesondefline\@nwusesondefline
  \let\nwstartdeflinemarkup\@nwstartdeflinemarkup
  \let\nwenddeflinemarkup\@nwenddeflinemarkup
}
\def\nwopt@noxref{%
  \let\nwalsodefined\@gobble
  \let\nwused\@gobble
  \let\nwnotused\@gobble
  \let\nwprevnextdefs\@gobbletwo
  \let\nwusesondefline\@gobble
  \let\nwstartdeflinemarkup\relax
  \let\nwenddeflinemarkup\relax
}
\nwopt@shortxref % to hell with backward compatibility!
\newskip\nwcodecommentsep \nwcodecommentsep=3pt plus 1pt minus 1pt
\newif\if@firstnwcodecomment\@firstnwcodecommenttrue
\newcount\@nwlopage\newcount\@nwhipage  % range lo..hi-1
\newcount\@nwlosub              % subpage of lo
\newcount\@nwhisub              % subpage of hi
\def\@nwfirstpage#1#2#3{% subpage page xref-tag
  \@nwlopage=#2 \@nwlosub=#1
  \def\@nwloxreftag{#3}%
  \advance\@nwpagecount by \@ne
  \@nwhipage=\@nwlopage\advance\@nwhipage by \@ne }
\def\@nwnextpage#1#2#3{% subpage page xref-tag
  \ifnum\@nwhipage=#2 
    \advance\@nwhipage by \@ne 
    \advance\@nwpagecount by \@ne
    \@nwhisub=#1 
    \def\@nwhixreftag{#3}\else
  \ifnum#2<\@nwlopage \advance\@nwhipage by \m@ne
                      \ifnum\@nwhipage=\@nwlopage
                           \edef\@tempa{\noexpand\noexpand\noexpand\\%
                                             {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                                              {\@nwloxreftag}}}%
                      \else
                        \count@=\@nwhipage \advance\count@ by \m@ne
                        \ifnum\count@=\@nwlopage % consecutive pages
                            \edef\@tempa{\noexpand\noexpand\noexpand\\%
                                             {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                                              {\@nwloxreftag}}%
                                          \noexpand\noexpand\noexpand\\%
                                             {{\nwthepagenum{\number\@nwhisub}{\number\@nwhipage}}
                                              {\@nwhixreftag}}}%
                        \else \ifnum\@nwlopage<110 \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
                                \count@=\@nwlopage \divide\count@ by 100 \multiply\count@ by 100
                                \ifnum\count@=\@nwlopage \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
                                  \count@=\@nwlopage \divide\count@ by 100
                                  \@nwpagetemp=\@nwhipage \divide\@nwpagetemp by 100
                                  \ifnum\count@=\@nwpagetemp %  lo--least 2 digits of hi
                                    \multiply\@nwpagetemp by 100
                                    \advance \@nwhipage by -\@nwpagetemp
                                    \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
                                  \else \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
                                  \fi
                                \fi
                              \fi%
                        \fi
                      \fi%
                      \edef\@tempa{\noexpand\nwix@cons\noexpand\nw@pages{\@tempa}}\@tempa\@nwfirstpage{#1}{#2}{#3}\else
  \ifnum#2>\@nwhipage \advance\@nwhipage by \m@ne
                      \ifnum\@nwhipage=\@nwlopage
                           \edef\@tempa{\noexpand\noexpand\noexpand\\%
                                             {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                                              {\@nwloxreftag}}}%
                      \else
                        \count@=\@nwhipage \advance\count@ by \m@ne
                        \ifnum\count@=\@nwlopage % consecutive pages
                            \edef\@tempa{\noexpand\noexpand\noexpand\\%
                                             {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                                              {\@nwloxreftag}}%
                                          \noexpand\noexpand\noexpand\\%
                                             {{\nwthepagenum{\number\@nwhisub}{\number\@nwhipage}}
                                              {\@nwhixreftag}}}%
                        \else \ifnum\@nwlopage<110 \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
                                \count@=\@nwlopage \divide\count@ by 100 \multiply\count@ by 100
                                \ifnum\count@=\@nwlopage \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
                                  \count@=\@nwlopage \divide\count@ by 100
                                  \@nwpagetemp=\@nwhipage \divide\@nwpagetemp by 100
                                  \ifnum\count@=\@nwpagetemp %  lo--least 2 digits of hi
                                    \multiply\@nwpagetemp by 100
                                    \advance \@nwhipage by -\@nwpagetemp
                                    \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
                                  \else \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
                                  \fi
                                \fi
                              \fi%
                        \fi
                      \fi%
                      \edef\@tempa{\noexpand\nwix@cons\noexpand\nw@pages{\@tempa}}\@tempa\@nwfirstpage{#1}{#2}{#3}\else
    \@nwlosub=0 \@nwhisub=0
  \fi\fi\fi
  }
\newcount\@nwpagetemp
\newcount\@nwpagecount
\def\@nwfirstpagel#1{% label
  \@ifundefined{r@#1}{\@warning{Reference `#1' on page \thepage \space undefined}%
                      \nwix@cons\nw@pages{\\{\bf ??}}}{%
    \edef\@tempa{\noexpand\@nwfirstpage\subpagepair{#1}{#1}}\@tempa}}
\def\@nwnextpagel#1{% label
  \@ifundefined{r@#1}{\@warning{Reference `#1' on page \thepage \space undefined}%
                      \nwix@cons\nw@pages{\\{\bf ??}}}{%
    \edef\@tempa{\noexpand\@nwnextpage\subpagepair{#1}{#1}}\@tempa}}
\def\@pagesl#1{%  list of labels
  \gdef\nw@pages{}\@nwpagecount=0
  \def\\##1{\@nwfirstpagel{##1}\let\\=\@nwnextpagel}#1%
  \advance\@nwhipage by \m@ne
  \ifnum\@nwhipage=\@nwlopage
       \edef\@tempa{\noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                          {\@nwloxreftag}}}%
  \else
    \count@=\@nwhipage \advance\count@ by \m@ne
    \ifnum\count@=\@nwlopage % consecutive pages
        \edef\@tempa{\noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                          {\@nwloxreftag}}%
                      \noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwhisub}{\number\@nwhipage}}
                          {\@nwhixreftag}}}%
    \else \ifnum\@nwlopage<110 \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
            \count@=\@nwlopage \divide\count@ by 100 \multiply\count@ by 100
            \ifnum\count@=\@nwlopage \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
              \count@=\@nwlopage \divide\count@ by 100
              \@nwpagetemp=\@nwhipage \divide\@nwpagetemp by 100
              \ifnum\count@=\@nwpagetemp %  lo--least 2 digits of hi
                \multiply\@nwpagetemp by 100
                \advance \@nwhipage by -\@nwpagetemp
                \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
              \else \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
              \fi
            \fi
          \fi%
    \fi
  \fi%
  \edef\@tempa{\noexpand\nwix@cons\noexpand\nw@pages{\@tempa}}\@tempa\def\\##1{\@nwhyperpagenum##1}%
  \ifnum\@nwpagecount=1 \nwpageword \else \nwpagesword\fi~\commafy{\nw@pages}}
\def\@nwhyperpagenum#1#2{\nwhyperreference{#2}{#1}}

\def\@pagenumsl#1{%  list of labels -- doesn't include word `pages', commas, or `and'
  \gdef\nw@pages{}\@nwpagecount=0
  \def\\##1{\@nwfirstpagel{##1}\let\\=\@nwnextpagel}#1%
  \advance\@nwhipage by \m@ne
  \ifnum\@nwhipage=\@nwlopage
       \edef\@tempa{\noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                          {\@nwloxreftag}}}%
  \else
    \count@=\@nwhipage \advance\count@ by \m@ne
    \ifnum\count@=\@nwlopage % consecutive pages
        \edef\@tempa{\noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                          {\@nwloxreftag}}%
                      \noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwhisub}{\number\@nwhipage}}
                          {\@nwhixreftag}}}%
    \else \ifnum\@nwlopage<110 \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
            \count@=\@nwlopage \divide\count@ by 100 \multiply\count@ by 100
            \ifnum\count@=\@nwlopage \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
              \count@=\@nwlopage \divide\count@ by 100
              \@nwpagetemp=\@nwhipage \divide\@nwpagetemp by 100
              \ifnum\count@=\@nwpagetemp %  lo--least 2 digits of hi
                \multiply\@nwpagetemp by 100
                \advance \@nwhipage by -\@nwpagetemp
                \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
              \else \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
              \fi
            \fi
          \fi%
    \fi
  \fi%
  \edef\@tempa{\noexpand\nwix@cons\noexpand\nw@pages{\@tempa}}\@tempa%
  \def\\##1{\@nwhyperpagenum##1\let\\=\@nwpagenumslrest}\nw@pages}
\def\@nwpagenumslrest#1{~\@nwhyperpagenum#1}
\def\subpages#1{% list of {{subpage}{page}}
  \gdef\nw@pages{}\@nwpagecount=0
  \def\\##1{\edef\@tempa{\noexpand\@nwfirstpage##1{}}\@tempa
            \def\\####1{\edef\@tempa{\noexpand\@nwnextpage####1}\@tempa}}#1%
  \advance\@nwhipage by \m@ne
  \ifnum\@nwhipage=\@nwlopage
       \edef\@tempa{\noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                          {\@nwloxreftag}}}%
  \else
    \count@=\@nwhipage \advance\count@ by \m@ne
    \ifnum\count@=\@nwlopage % consecutive pages
        \edef\@tempa{\noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                          {\@nwloxreftag}}%
                      \noexpand\noexpand\noexpand\\%
                         {{\nwthepagenum{\number\@nwhisub}{\number\@nwhipage}}
                          {\@nwhixreftag}}}%
    \else \ifnum\@nwlopage<110 \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
            \count@=\@nwlopage \divide\count@ by 100 \multiply\count@ by 100
            \ifnum\count@=\@nwlopage \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
              \count@=\@nwlopage \divide\count@ by 100
              \@nwpagetemp=\@nwhipage \divide\@nwpagetemp by 100
              \ifnum\count@=\@nwpagetemp %  lo--least 2 digits of hi
                \multiply\@nwpagetemp by 100
                \advance \@nwhipage by -\@nwpagetemp
                \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
              \else \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
              \fi
            \fi
          \fi%
    \fi
  \fi%
  \edef\@tempa{\noexpand\nwix@cons\noexpand\nw@pages{\@tempa}}\@tempa\def\\##1{\@firstoftwo##1}%
  \ifnum\@nwpagecount=1 \nwpageword \else \nwpagesword\fi~\commafy{\nw@pages}}
\def\@nwaddrange{\advance\@nwhipage by \m@ne
                 \ifnum\@nwhipage=\@nwlopage
                      \edef\@tempa{\noexpand\noexpand\noexpand\\%
                                        {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                                         {\@nwloxreftag}}}%
                 \else
                   \count@=\@nwhipage \advance\count@ by \m@ne
                   \ifnum\count@=\@nwlopage % consecutive pages
                       \edef\@tempa{\noexpand\noexpand\noexpand\\%
                                        {{\nwthepagenum{\number\@nwlosub}{\number\@nwlopage}}%
                                         {\@nwloxreftag}}%
                                     \noexpand\noexpand\noexpand\\%
                                        {{\nwthepagenum{\number\@nwhisub}{\number\@nwhipage}}
                                         {\@nwhixreftag}}}%
                   \else \ifnum\@nwlopage<110 \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
                           \count@=\@nwlopage \divide\count@ by 100 \multiply\count@ by 100
                           \ifnum\count@=\@nwlopage \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}\else
                             \count@=\@nwlopage \divide\count@ by 100
                             \@nwpagetemp=\@nwhipage \divide\@nwpagetemp by 100
                             \ifnum\count@=\@nwpagetemp %  lo--least 2 digits of hi
                               \multiply\@nwpagetemp by 100
                               \advance \@nwhipage by -\@nwpagetemp
                               \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
                             \else \edef\@tempa{\noexpand\noexpand\noexpand\\{{\number\@nwlopage--\number\@nwhipage}{}}}%
                             \fi
                           \fi
                         \fi%
                   \fi
                 \fi%
                 \edef\@tempa{\noexpand\nwix@cons\noexpand\nw@pages{\@tempa}}\@tempa}
\def\nwpageword{\@nwlangdepchk}  % chunk, was page
\def\nwpagesword{\@nwlangdepchks}  % chunk, was page
\def\nwpageprep{\@nwlangdepin}     % in, was on
\newcommand\nw@genericref[2]{% what to do, name of ref
  \expandafter\nw@g@nericref\csname r@#2\endcsname#1{#2}}
\newcommand\nw@g@nericref[3]{% control sequence, what to do, name
  \ifx#1\relax
    \ref{#3}% trigger the standard `undefined ref' mechanisms
  \else
    \expandafter#2#1.\\%
  \fi}
\def\nw@selectone#1#2#3\\{#1}
\def\nw@selecttwo#1#2#3\\{#2}
\def\nw@selectonetwo#1#2#3\\{{#1}{#2}}
\newcommand{\subpageref}[1]{%
  \nwhyperreference{#1}{\nw@genericref\@subpageref{#1}}}
\def\@subpageref#1#2#3\\{%
  \@ifundefined{2on#2}{#2}{\nwthepagenum{#1}{#2}}}
\newcommand{\subpagepair}[1]{%  % produces {subpage}{page}
  \@ifundefined{r@#1}%
    {{0}{0}}%
    {\nw@genericref\@subpagepair{#1}}}
\def\@subpagepair#1#2#3\\{%
  \@ifundefined{2on#2}{{0}{#2}}{{#1}{#2}}}
\newcommand{\sublabel}[1]{%
  \@bsphack
  \nwblindhyperanchor{#1}%
  \if@filesw {\let\thepage\relax
   \def\protect{\noexpand\noexpand\noexpand}%
   \edef\@tempa{\write\@auxout{\string
      \newsublabel{#1}{{}{\thepage}}}}%
   \expandafter}\@tempa
   \if@nobreak \ifvmode\nobreak\fi\fi\fi\@esphack}
\newcommand{\nosublabel}[1]{%
  \@bsphack\if@filesw {\let\thepage\relax
   \def\protect{\noexpand\noexpand\noexpand}%
   \edef\@tempa{\write\@auxout{\string
      \newlabel{#1}{{0}{\thepage}}}}%
   \expandafter}\@tempa
   \if@nobreak \ifvmode\nobreak\fi\fi\fi\@esphack}
\newcommand\newsublabel{%
  \nw@settrailers
  \global\let\newsublabel\@newsublabel
  \@newsublabel}
\newcommand{\@newsublabel}[2]{%
  \edef\this@page{\@cdr#2\@nil}%
  \ifx\this@page\last@page\else
    \sub@page=\z@
  \fi
  \edef\last@page{\this@page}
  \advance\sub@page by \@ne
  \ifnum\sub@page=\tw@
    \global\@namedef{2on\this@page}{}%
  \fi
  \pendingsublabel{#1}%
  \edef\@tempa##1{\noexpand\newlabel{##1}%
    {{\number\sub@page}{\this@page}\nw@labeltrailers}}%
  \pending@sublabels
  \def\pending@sublabels{}}
\newcommand\nw@settrailers{% -- won't work on first run
  \@ifpackageloaded{nameref}%
     {\gdef\nw@labeltrailers{{}{}{}}}%
     {\gdef\nw@labeltrailers{}}}
\renewcommand\nw@settrailers{% 
  \@ifundefined{@secondoffive}%
     {\gdef\nw@labeltrailers{}}%
     {\gdef\nw@labeltrailers{{}{}{}}}}
\newcommand{\nextchunklabel}[1]{%
  \nwblindhyperanchor{#1}%   % looks slightly bogus --- nr
  \@bsphack\if@filesw {\let\thepage\relax
      \edef\@tempa{\write\@auxout{\string\pendingsublabel{#1}}}%
      \expandafter}\@tempa
   \if@nobreak \ifvmode\nobreak\fi\fi\fi\@esphack}
\newcommand\pendingsublabel[1]{%
  \def\@tempa{\noexpand\@tempa}%
  \edef\pending@sublabels{\noexpand\@tempa{#1}\pending@sublabels}}
\def\pending@sublabels{}
\def\last@page{\relax}
\newcount\sub@page
\def\@alphasubpagenum#1#2{#2\ifnum#1=0 \else\@alph{#1}\fi}
\def\@nosubpagenum#1#2{#2}
\def\@numsubpagenum#1#2{#2\ifnum#1=0 \else.\@arabic{#1}\fi}
\def\nwopt@nosubpage{\let\nwthepagenum=\@nosubpagenum\nwopt@nomargintag}
\def\nwopt@numsubpage{\let\nwthepagenum=\@numsubpagenum}
\def\nwopt@alphasubpage{\let\nwthepagenum=\@alphasubpagenum}
\nwopt@alphasubpage
\newcount\@nwalph@n
\let\@nwalph@d\@tempcnta
\let\@nwalph@bound\@tempcntb
\def\@nwlongalph#1{{%
  \@nwalph@n=#1\advance\@nwalph@n by-1
  \@nwalph@bound=26
  \loop\ifnum\@nwalph@n<\@nwalph@bound\else
     \advance\@nwalph@n by -\@nwalph@bound
     \multiply\@nwalph@bound by 26
  \repeat
  \loop\ifnum\@nwalph@bound>1
    \divide\@nwalph@bound by 26
    \@nwalph@d=\@nwalph@n\divide\@nwalph@d by \@nwalph@bound
    % d := d * bound ; n -:= d; d := d / bound --- saves a temporary
    \multiply\@nwalph@d by \@nwalph@bound
    \advance\@nwalph@n by -\@nwalph@d
    \divide\@nwalph@d by \@nwalph@bound
    \advance\@nwalph@d by 1 \@alph{\@nwalph@d}%
  \repeat
}}
\newcount\nw@chunkcount
\nw@chunkcount=\@ne
\newcommand{\weblabel}[1]{%
  \@bsphack
  \nwblindhyperanchor{#1}%
  \if@filesw {\let\thepage\relax
   \def\protect{\noexpand\noexpand\noexpand}%
   \edef\@tempa{\write\@auxout{\string
      \newsublabel{#1}{{}{\number\nw@chunkcount}}}}%
   \expandafter}\@tempa
   \global\advance\nw@chunkcount by \@ne
   \if@nobreak \ifvmode\nobreak\fi\fi\fi\@esphack}
\def\nwopt@webnumbering{%
  \let\sublabel=\weblabel
  \def\nwpageword{chunk}\def\nwpagesword{chunks}%
  \def\nwpageprep{in}}
% \nwindexdefn{printable name}{identifying label}{label of chunk}
% \nwindexuse{printable name}{identifying label}{label of chunk}

\def\nwindexdefn#1#2#3{\@auxix{\protect\nwixd}{#2}{#3}}
\def\nwindexuse#1#2#3{\@auxix{\protect\nwixu}{#2}{#3}}

\def\@auxix#1#2#3{% {marker}{id label}{subpage label}
   \@bsphack\if@filesw {\let\nwixd\relax\let\nwixu\relax
   \def\protect{\noexpand\noexpand\noexpand}%
   \edef\@tempa{\write\@auxout{\string\nwixadd{#1}{#2}{#3}}}%
   \expandafter}\@tempa
   \if@nobreak \ifvmode\nobreak\fi\fi\fi\@esphack}
% \nwixadd{marker}{idlabel}{subpage label}
\def\nwixadd#1#2#3{%
  \@ifundefined{nwixl@#2}%
    {\global\@namedef{nwixl@#2}{#1{#3}}}%
    {\expandafter\nwix@cons\csname nwixl@#2\endcsname{#1{#3}}}}
\def\@nwsubscriptident#1#2{\mbox{$\mbox{#1}_{\mathrm{\subpageref{#2}}}$}}
\def\@nwnosubscriptident#1#2{#1}
\def\@nwhyperident#1#2{\leavevmode\nwhyperreference{#2}{#1}}
\def\nwopt@subscriptidents{%
  \let\nwlinkedidentq\@nwsubscriptident
  \let\nwlinkedidentc\@nwsubscriptident
}
\def\nwopt@nosubscriptidents{%
  \let\nwlinkedidentq\@nwnosubscriptident
  \let\nwlinkedidentc\@nwnosubscriptident
}
\def\nwopt@hyperidents{%
  \let\nwlinkedidentq\@nwhyperident
  \let\nwlinkedidentc\@nwhyperident
}
\def\nwopt@nohyperidents{%
  \let\nwlinkedidentq\@nwnosubscriptident
  \let\nwlinkedidentc\@nwnosubscriptident
}
\def\nwopt@subscriptquotedidents{%
  \let\nwlinkedidentq\@nwsubscriptident
}
\def\nwopt@nosubscriptquotedidents{%
  \let\nwlinkedidentq\@nwnosubscriptident
}
\def\nwopt@hyperquotedidents{%
  \let\nwlinkedidentq\@nwhyperident
}
\def\nwopt@nohyperquotedidents{%
  \let\nwlinkedidentq\@nwnosubscriptident
}
\nwopt@hyperidents
\newcount\@commacount
\def\commafy#1{%
  {\nwix@listcount{#1}\@commacount=\nwix@counter
   \let\@comma@each=\\%
   \ifcase\@commacount\let\\=\@comma@each\or\let\\=\@comma@each\or
     \def\\{\def\\{ \@nwlangdepand\ \@comma@each}\@comma@each}\else
     \def\\{\def\\{, %
                   \advance\@commacount by \m@ne
                   \ifnum\@commacount=1 \@nwlangdepand~\fi\@comma@each}\@comma@each}\fi
   #1}}
\def\nwix@cons#1#2{% {list}{\marker{element}}
  {\toks0=\expandafter{#1}\def\@tempa{#2}\toks2=\expandafter{\@tempa}%
   \xdef#1{\the\toks0 \the\toks2 }}}
\def\nwix@uses#1{% {label}
  \def\nwixu{\\}\let\nwixd\@gobble\@nameuse{nwixl@#1}}
\def\nwix@defs#1{% {label}
  \def\nwixd{\\}\let\nwixu\@gobble\@nameuse{nwixl@#1}}
\newcount\nwix@counter
\def\nwix@listcount#1{% {list with \\}
  {\count@=0
   \def\\##1{\advance\count@ by \@ne }%
   #1\global\nwix@counter=\count@ }}
\def\nwix@usecount#1{\nwix@listcount{\nwix@uses{#1}}}
\def\nwix@defcount#1{\nwix@listcount{\nwix@defs{#1}}}
\def\nwix@id@defs#1{% index pair
  {{\Tt \@car#1\@nil}%
  \def\\##1{~\subpageref{##1}}\nwix@defs{\@cdr#1\@nil}}}
\def\nwidentuses#1{% list of index pairs
  \nwcodecomment{\@nwlangdepuss\ \let\\=\nwix@id@defs\commafy{#1}.}}
\def\nwix@totaluses#1{% list of index pairs
  {\count@=0
   \def\\##1{\nwix@usecount{\@cdr##1\@nil}\advance\count@ by\nwix@counter}%
   #1\global\nwix@counter\count@ }}
\def\nwix@id@uses#1#2{% {ident}{label}
  \nwix@usecount{#2}\ifnum\nwix@counter>0
    {\advance\leftskip by \codemargin
     \nwcodecomment{{\Tt #1}, \@nwlangdepusd\ \nwpageprep\ \@pagesl{\nwix@uses{#2}}.}}%
  \else
    \ifnw@hideunuseddefs\else
      {\advance\leftskip by \codemargin \nwcodecomment{{\Tt #1}, \@nwlangdepnvu.}}%
    \fi
  \fi}
\def\nwidentdefs#1{% list of index pairs
  \ifnw@hideunuseddefs\nwix@totaluses{#1}\else\nwix@listcount{#1}\fi
  \ifnum\nwix@counter>0
    \nwcodecomment{\@nwlangdepdfs:}%
    {\def\\##1{\nwix@id@uses ##1}#1}%
  \fi}
\newif\ifnw@hideunuseddefs\nw@hideunuseddefsfalse
\def\nwopt@hideunuseddefs{\nw@hideunuseddefstrue}
\def\nwopt@noidentxref{%
  \let\nwidentdefs\@gobble
  \let\nwidentuses\@gobble}
\def\nw@underlinedefs{% {list with \nwixd, \nwixu}
  \let\\=\relax\def\nw@comma{, }
  \def\nwixd##1{\\\underline{\subpageref{##1}}\let\\\nw@comma}%
  \def\nwixu##1{\\\subpageref{##1}\let\\\nw@comma}}

\def\nw@indexline#1#2{%
   {\indent {\Tt #1}: \nw@underlinedefs\@nameuse{nwixl@#2}\par}}

\newenvironment{thenowebindex}{\parindent=-10pt \parskip=\z@ 
        \advance\leftskip by 10pt 
        \advance\rightskip by 0pt plus1in\par\@afterindenttrue
    \def\\##1{\nw@indexline##1}}{}
\def\nowebindex{%
  \@ifundefined{nwixs@i}%
     {\@warning{The \string\nowebindex\space is empty}}%
     {\begin{thenowebindex}\@nameuse{nwixs@i}\end{thenowebindex}}}
\def\nowebindex@external{%
  {\let\nwixadds@c=\@gobble
   \def\nwixadds@i##1{\nw@indexline##1}%
   \def\nwixaddsx##1##2{\@nameuse{nwixadds@##1}{##2}}%
   \begin{thenowebindex}\@input{\jobname.nwi}\end{thenowebindex}}}
\def\nwixlogsorted#1#2{% list data
   \@bsphack\if@filesw 
     \toks0={#2}\immediate\write\@auxout{\string\nwixadds{#1}{\the\toks0}}
   \if@nobreak \ifvmode\nobreak\fi\fi\fi\@esphack}
\def\nwixadds#1#2{%
  \@ifundefined{nwixs@#1}%
    {\global\@namedef{nwixs@#1}{\\{#2}}}%
    {\expandafter\nwix@cons\csname nwixs@#1\endcsname{\\{#2}}}}
\let\nwixaddsx=\@gobbletwo
\def\nwopt@externalindex{%
  \ifx\nwixadds\@gobbletwo % already called
  \else
    \let\nwixaddsx=\nwixadds \let\nwixadds=\@gobbletwo
    \let\nowebindex=\nowebindex@external
    \let\nowebchunks=\nowebchunks@external
  \fi}
\def\nowebchunks{%
  \@ifundefined{nwixs@c}%
     {\@warning{The are no \string\nowebchunks}}%
     {\begin{thenowebchunks}\@nameuse{nwixs@c}\end{thenowebchunks}}}
\def\nowebchunks@external{%
  {\let\nwixadds@i=\@gobble
   \def\nwixadds@c##1{\nw@onechunk##1}%
   \def\nwixaddsx##1##2{\@nameuse{nwixadds@##1}{##2}}%
   \begin{thenowebchunks}\@input{\jobname.nwi}\end{thenowebchunks}}}
    \@namedef{r@nw@notdef}{{0}{(\@nwlangdepnvd)}}
\def\nw@chunkunderlinedefs{% {list of labels with \nwixd, \nwixu}
  \let\\=\relax\def\nw@comma{, }
  \def\nwixd##1{\\\underline{\subpageref{##1}}\let\\\nw@comma}%
  \def\nwixu##1{\\\subpageref{##1}\let\\\nw@comma}}
\def\nw@onechunk#1#2#3{% {name}{label of first definition}{list with \nwixd, \nwixu}
  \@ifundefined{r@#2}{}{%
    \indent\LA #1~{\nwtagstyle\subpageref{#2}}\RA 
    \if@nwlongchunks{~\nw@chunkunderlinedefs#3}\fi\par}}
\newenvironment{thenowebchunks}{\vskip3pt
  \parskip=\z@\parindent=-10pt \advance\leftskip by 10pt
  \advance\rightskip by 0pt plus10pt \@afterindenttrue
  \def\\##1{\nw@onechunk##1}}{}
\newif\if@nwlongchunks
\@nwlongchunksfalse
\let\nwopt@longchunks\@nwlongchunkstrue
\newcommand\@nw@hyper@ref{\hyperreference} % naras
\newcommand\@nw@hyper@anc{\blindhyperanchor} % naras
\newcommand\@nw@hyperref@ref[2]{\hyperlink{noweb.#1}{#2}}  % nr
\newcommand\@nw@hyperref@anc[1]{\hypertarget{noweb.#1}{\relax}}  % nr
%%\renewcommand\@nw@hyperref@ref[2]{{#2}}  % nr
%%\renewcommand\@nw@hyperref@anc[1]{}  % nr
\newcommand\nwhyperreference{%
  \@ifundefined{hyperlink}
    {\@ifundefined{hyperreference}
       {\global\let\nwhyperreference\@gobble}
       {\global\let\nwhyperreference\@nw@hyper@ref}}
    {\global\let\nwhyperreference\@nw@hyperref@ref}%
  \nwhyperreference
}

\newcommand\nwblindhyperanchor{%
  \@ifundefined{hyperlink}
    {\@ifundefined{hyperreference}
       {\global\let\nwblindhyperanchor\@gobble}
       {\global\let\nwblindhyperanchor\@nw@hyper@anc}}
    {\global\let\nwblindhyperanchor\@nw@hyperref@anc}%
  \nwblindhyperanchor
}
\newcommand\nwanchorto{%
  \begingroup\let\do\@makeother\dospecials
     \catcode`\{=1 \catcode`\}=2 \nw@anchorto}
\newcommand\nw@anchorto[1]{\endgroup\def\nw@next{#1}\nw@anchortofin}
\newcommand\nw@anchortofin[1]{#1\footnote{See URL \texttt{\nw@next}.}}
\let\nwanchorname\@gobble
\newif\ifhtml
\htmlfalse
\let\nwixident=\relax
\def\nwbackslash{\char92}
\def\nwlbrace{\char123}
\def\nwrbrace{\char125}
\def\nwopt@english{%
  \def\@nwlangdepdef{This definition is continued}%
  \def\@nwlangdepcud{This code is used}%
  \def\@nwlangdeprtc{Root chunk (not used in this document)}%
  \def\@nwlangdepcwf{This code is written to file}%
  \def\@nwlangdepchk{chunk}%
  \def\@nwlangdepchks{chunks}%
  \def\@nwlangdepin{in}%
  \def\@nwlangdepand{and}%
  \def\@nwlangdepuss{Uses}%
  \def\@nwlangdepusd{used}%
  \def\@nwlangdepnvu{never used}%
  \def\@nwlangdepdfs{Defines}%
  \def\@nwlangdepnvd{never defined}%
}
\let\nwopt@american\nwopt@english
\def\nwopt@portuges{%
  \def\@nwlangdepdef{Defini\c{c}\~ao continuada em}%
  % This definition is continued
  \def\@nwlangdepcud{C\'odigo usado em}%
  % This code is used
  \def\@nwlangdeprtc{Fragmento de topo (sem uso no documento)}%
  % Root chunk (not used in this document)
  \def\@nwlangdepcwf{Este c\'odigo foi escrito no ficheiro}%
  % This code is written to file
  \def\@nwlangdepchk{fragmento}%
  % chunk
  \def\@nwlangdepchks{fragmentos}%
  % chunks
  \def\@nwlangdepin{no(s)}%
  % in
  \def\@nwlangdepand{e}%
  % and
  \def\@nwlangdepuss{Usa}%
  % Uses
  \def\@nwlangdepusd{usado}%
  % used
  \def\@nwlangdepnvu{nunca usado}%
  % never used
  \def\@nwlangdepdfs{Define}%
  % Defines
  \def\@nwlangdepnvd{nunca definido}%
  % never defined
}
\def\nwopt@frenchb{%
  \def\@nwlangdepdef{Cette d\'efinition suit}%
  % This definition is continued
  \def\@nwlangdepcud{Ce code est employ\'e}%
  % This code is used
  \def\@nwlangdeprtc{Morceau racine (pas employ\'e dans ce document)}%
  % Root chunk (not used in this document)
  \def\@nwlangdepcwf{Ce code est \'ecrit aux fichier}%
  % This code is written to file
  \def\@nwlangdepchk{le morceau}%
  % chunk
  \def\@nwlangdepchks{les morceaux}%
  % chunks
  \def\@nwlangdepin{dans}%
  % in
  \def\@nwlangdepand{et}%
  % and
  \def\@nwlangdepuss{Il emploie}%
  % Uses
  \def\@nwlangdepusd{employ\'{e}}%
  % used
  \def\@nwlangdepnvu{jamais employ\'{e}}%
  % never used
  \def\@nwlangdepdfs{Il d\'{e}fine}%
  % Defines
  % Cannot use the accent here: \def\@nwlangdepnvd{jamais d\'{e}fini}%
  \def\@nwlangdepnvd{jamais defini}%
  % never defined
}
\let\nwopt@french\nwopt@frenchb
\def\nwopt@german{%
  \def\@nwlangdepdef{Diese Definition wird fortgesetzt}%
  % This definition is continued
  \def\@nwlangdepcud{Dieser Code wird benutzt}%
  % This code is used
  \def\@nwlangdeprtc{Hauptteil (nicht in diesem Dokument benutzt)}%
  % Root chunk (not used in this document)
  \def\@nwlangdepcwf{Dieser Code schreibt man zum File}%
  % This code is written to file
  \def\@nwlangdepchk{Teil}%
  % chunk
  \def\@nwlangdepchks{Teils}%
  % chunks
  \def\@nwlangdepin{im}%
  % in
  \def\@nwlangdepand{und}%
  % and
  \def\@nwlangdepuss{Benutztt}%
  % Uses
  \def\@nwlangdepusd{benutzt}%
  % used
  \def\@nwlangdepnvu{nicht benutzt}%
  % never used
  \def\@nwlangdepdfs{Definiert}%
  % Defines
  \def\@nwlangdepnvd{nicht definiert}%
  % never defined
}
\let\nwopt@ngerman\nwopt@german
\ifx\languagename\undefined % default is English
  \noweboptions{english}
\else
  \@ifundefined{nwopt@\languagename}
     {\noweboptions{english}}
     {\expandafter\noweboptions\expandafter{\languagename}}
\fi
% spadcommands are the actual text that you type at the axiom prompt
\newcommand{\spadcommand}[1]%
{\begin{flushleft}{\tt #1}\end{flushleft}\vskip .1cm }

% spadgraph are the actual text that you type at the axiom prompt for draw
\newcommand{\spadgraph}[1]%
{\begin{flushleft}{\tt #1}\end{flushleft}\vskip .1cm }

% returnType is the type signature returned by the axiom interpreter
\newcommand{\returnType}[1]%
{\begin{flushright}{\tt #1}\end{flushright}\vskip .1cm}

% The book begins with some introductory material that is not really
% listed as a chapter. This creates a header similar to \chapter.
\newcommand{\pseudoChapter}[1]%
{\vskip .5in \noindent {\Huge{\bf #1}}\vskip .5in}

% The book begins with some introductory material that is not really
% listed as a section. This creates a header similar to \section.
\newcommand{\pseudoSection}[1]%
{\vskip .25in \noindent {\large{\bf #1}}\vskip .25in}

% spadofFrom records the operation in the index and the domain in the index
\newcommand{\spadopFrom}[2]{\index{library!operations!#1 @\begingroup \string\tt{} #1 \endgroup}\index{#2}``{\tt #1}''}

% spadfunFrom records the function name and domain in the index
\newcommand{\spadfunFrom}[2]{{\bf #1}\index{#1 @\begingroup \string\bf{} #1 \endgroup}\index{#2}}

\newcommand\AXIOM{\vskip\parindent\indent{\bf AXIOM}\vskip\parindent\noindent\ignorespaces}
\newcommand\maxima{\vskip\parindent\noindent{\bf MAXIMA}\vskip\parindent\noindent\ignorespaces}
\newcommand\yacas{\vskip\parindent\noindent{\bf YACAS}\vskip\parindent\noindent\ignorespaces}