<\body> tags|> <\initial> <\collection> <\references> <\collection> > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > <\auxiliary> <\collection> <\associate|idx> |color||common-base>>|> |color||std-markup>>|> |Text>||Content tag>>|> |color||strong>>|> |Text>||Content tag>||Strong>>|> |color||em>>|> |Text>||Content tag>||Emphasize>>|> |color||dfn>>|> |Text>||Content tag>||Definition>>|> |color||samp>>|> |Text>||Content tag>||Sample>>|> |color||name>>|> |Text>||Content tag>||Name>>|> |color||person>>|> |Text>||Content tag>||Person>>|> |color||cite*>>|> |Text>||Content tag>||Cite>>|> |color||cite>>|> |color||abbr>>|> |Text>||Content tag>||Abbreviation>>|> |color||acronym>>|> |Text>||Content tag>||Acronym>>|> |color||verbatim>>|> |Text>||Content tag>||Verbatim>>|> |color||kbd>>|> |Text>||Content tag>||Keyboard>>|> |color||code*>>|> |Text>||Content tag>||Code>>|> |color||code>>|> |color||var>>|> |Text>||Content tag>||Variable>>|> |color||math>>|> |color||op>>|> |color||tt>>|> |color||verbatim>>|> |color||code>>|> |color||code*>>|> |color||quote>>|> |color||quotation>>|> |color||verse>>|> |color||center>>|> |color||tabular*>>|> |color||block>>|> |color||block*>>|> |color||TeXmacs>>|> |color||TeX>>|> |color||LaTeX>>|> |color||hflush>>|> |color||hrule>>|> |color||overline>>|> |color||underline>>|> |color||fold>>|> |Insert>||Switch>||Unfold>>|> |color||unfold>>|> |Insert>||Switch>||Fold>>|> |color||switch>>|> |color||phantom>>|> |color||phantom>>|> |color||set-header>>|> |color||set-footer>>|> |color||std-symbol>>|> |color||std-math>>|> |color||binom>>|> |color||choose>>|> |color||binom>>|> |color||shrink-inline>>|> |color||binom>>|> |color||matrix>>|> |color||det>>|> |color||choice>>|> |color||std-list>>|> |color||itemize>>|> |color||itemize-minus>>|> |color||itemize-dot>>|> |color||itemize-arrow>>|> |color||enumerate>>|> |color||enumerate-numeric>>|> |color||enumerate-roman>>|> |color||enumerate-Roman>>|> |color||enumerate-alpha>>|> |color||enumerate-Alpha>>|> |color||description>>|> |color||description-compact>>|> |color||description-compact>>|> |color||description-dash>>|> |color||description-compact>>|> |color||description-align>>|> |color||description-long>>|> |color||item>>|> |color||item*>>|> |color||std-list>>|> |color||std-automatic>>|> |color||cite>>|> |color||nocite*>>|> |color||cite>>|> |color||bibitem*>>|> |color||toc-main-1>>|> |color||toc-main-2>>|> |color||toc-normal-1>>|> |color||toc-normal-2>>|> |color||toc-normal-2>>|> |color||toc-normal-3>>|> |color||toc-normal-3>>|> |color||toc-small-1>>|> |color||toc-small-2>>|> |color||toc-dots>>|> |color||index>>|> |color||subindex>>|> |color||subsubindex>>|> |color||index-complex>>|> |color||index-line>>|> |color||index-1>>|> |color||index-1*>>|> |color||index-1>>|> |color||index-|n>>>|> |color||index-|n>*>>|> |color||index-|n>>>|> |color||index-dots>>|> |color||glossary>>|> |color||glossary-dup>>|> |color||glossary-explain>>|> |color||glossary-line>>|> |color||glossary-1>>|> |color||glossary-2>>|> |color||glossary-dots>>|> |color||program>>|> |color||algorithm>>|> |color||body>>|> |color||indent>>|> |color||session>>|> |color||session>>|> |color||input>>|> |color||output>>|> |color||textput>>|> |color||errput>>|> |color|||lan>-session>>|> |color|||lan>-input>>|> |color|||lan>-output>>|> |color|||lan>-textput>>|> |color|||lan>-errput>>|> |color||generic-session>>|> |color||generic-input>>|> |color||generic-output>>|> |color||generic-textput>>|> |color||generic-errput>>|> |color||varsession>>|> |color||generic-output*>>|> |color||generic-output>>|> |color||env>>|> |color||env-manage>>|> |color||newtheorem>>|> |color||newremark>>|> |color||newtheorem>>|> |color||newexercise>>|> |color||newtheorem>>|> |color||newfigure>>|> |color||newtheorem>>|> |color||newtheorem>>|> |color||newtheorem>>|> |color||newtheorem>>|> |color||env-math>>|> |color||equation>>|> |color||equation*>>|> |color||eqnarray>>|> |color||eqnarray*>>|> |color||eqnarray*>>|> |color||eqnumber>>|> |color||eqnarray>>|> |color||eqnarray*>>|> |color||eqnarray>>|> |color||nonumber>>|> |color||leqnumber>>|> |color||nextnumber>>|> |color||align>>|> |color||gather>>|> |color||eqsplit>>|> |color||align*>>|> |color||gather*>>|> |color||eqsplit*>>|> |color||env-theorem>>|> |color||theorem*>>|> |color||newtheorem>>|> |color||remark*>>|> |color||theorem*>>|> |color||exercise*>>|> |color||theorem*>>|> |color||proof*>>|> |color||theorem*>>|> |color||dueto>>|> |color||corollary*>>|> |color||theorem*>>|> |color||proof>>|> |color||proof*>>|> |color||theoremname>>|> |color||exercisename>>|> |color||theoremname>>|> |color||theoremsep>>|> |color||exercisesep>>|> |color||theoremsep>>|> |color||env-float>>|> |color||footnote>>|> |color||big-figure>>|> |color||small-figure>>|> |color||big-table>>|> |color||small-table>>|> |color||small-figure*>>|> |color||big-figure*>>|> |color||small-figure*>>|> |color||figurename>>|> |color||figuresep>>|> |color||footnotesep>>|> |color||env-default>>|> |Text>||Environment>>|> |color||theorem>>|> |color||proposition>>|> |color||lemma>>|> |color||corollary>>|> |color||axiom>>|> |color||definition>>|> |color||notation>>|> |color||conjecture>>|> |Text>||Environment>>|> |color||remark>>|> |color||example>>|> |color||note>>|> |color||warning>>|> |color||convention>>|> |Text>||Environment>>|> |color||exercise>>|> |color||problem>>|> |color||big-figure>>|> |color||small-figure>>|> |color||big-table>>|> |color||small-table>>|> |Insert>||Image>>|> |Insert>||Table>>|> |color||keywords>>|> |color||AMS-class>>|> |color||abstract>>|> |color||header>>|> |color||start-page>>|> |color||odd-page-text>>|> |color||start-page>>|> |color||even-page-text>>|> |color||start-page>>|> |color||header-title>>|> |color||header-author>>|> |color||header-primary>>|> |color||chapter>>|> |color||section>>|> |color||header-secondary>>|> |color||section>>|> |color||subsection>>|> |color||header-title>>|> |color||make-title>>|> |color||title>>|> |color||author>>|> |color||address>>|> |color||address-block>>|> |color||title-email>>|> |color||title-date>>|> |color||title>>|> |color||author>>|> |color||header-title>>|> |color||header-author>>|> |color||header-title>>|> |color||header-author>>|> |color||title*>>|> |color||author*>>|> |color||address*>>|> |color||title-email*>>|> |color||title-date*>>|> |color||header-title>>|> |color||abstract>>|> |color||section-latex>>|> |color||chapter>>|> |color||section>>|> |color||subsection>>|> |color||subsubsection>>|> |color||paragraph>>|> |color||subparagraph>>|> |color||chapter*>>|> |color||section*>>|> |color||subsection*>>|> |color||subsubsection*>>|> |color||paragraph*>>|> |color||subparagraph*>>|> |color||section-latex>>|> |color||chapter**>>|> |color||appendix>>|> |color||chapter>>|> |color||section>>|> |color||sectionsep>>|> |color||number-env>>|> |color||init-stdenv>>|> |color||newliststdenv>>|> |color||newlistfigure>>|> |color||newliststdenv-counter>>|> |color||env-manage>>|> |color||number-us>>|> |color||number-europe>>|> |color||number-section>>|> |color||reset-chapter>>|> |color||reset-section>>|> |color||reset-subsection>>|> |color||reset-subsubsection>>|> |color||reset-top>>|> |color||thechapter>>|> |color||thesection>>|> |color||thesubsection>>|> |color||thesubsubsection>>|> |color||theprefix>>|> <\associate|toc> |math font series||1The common base for most styles> |.>>>>|> 1.1Standard markup |.>>>>|> 1.2Standard symbols |.>>>>|> 1.3Standard mathematical markup |.>>>>|> 1.4Standard lists |.>>>>|> 1.5Automatic content generation |.>>>>|> 1.6Special markup for programs |.>>>>|> 1.7Special markup for sessions |.>>>>|> |math font series||2Standard environments inside text> |.>>>>|> 2.1Defining new environments |.>>>>|> 2.2Mathematical environments |.>>>>|> 2.3Theorem-like environments |.>>>>|> 2.4Environments for floating objects |.>>>>|> 2.5Default environments |.>>>>|> |math font series||3Headers and footers> |.>>>>|> 3.1Standard headers |.>>>>|> 3.2Standard titles |.>>>>|> |math font series||4L>T|E>||||0.5fn|>|0fn|-0.1fn>>X style sections> |.>>>>|> |math font series||5Markup for automatic numbering> |.>>>>|> 5.1Numbering environments |.>>>>|> 5.2Numbering sections |.>>>>|>