(tuple (collection (associate "" (uninit)) (associate "par-fnote-sep" "0.2fn") (associate "proposition-nr" "0") (associate "section-text" (macro (change-case (localize "section") "Upcase"))) (associate "padded-std-bothlined" (macro "a" "b" "body" (padded-bothlined (arg "a") (arg "b") "1ln" "1ln" "1sep" "1sep" (arg "body")))) (associate "counter-footnote" (macro (compound "counter-in-std-env" "footnote"))) (associate "itemize-minus*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "-"))) (arg "body"))))) (associate "corollary-text" (macro (localize "Corollary"))) (associate "description-dash" (macro "body" (document (list (macro "x" (compact-item (concat (item-strong (arg "x")) " " (emdash) " "))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "proposition-text" (macro (localize "Proposition"))) (associate "padded-centered" (macro "a" "b" "body" (surround (concat (vspace* (arg "a")) (no-indent) (htab "0fn" "last")) (concat (htab "0fn" "first") (vspace (arg "b"))) (arg "body")))) (associate "counter-figure-env" (macro (compound "counter-in-std-env" "figure-env"))) (associate "wide-centered" (macro "body" (surround (concat (no-indent) (htab "0fn" "last")) (htab "0fn" "first") (arg "body")))) (associate "table-width" "") (associate "prog-font-shape" "right") (associate "enumerate-alpha" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") (with "font-shape" "right" ")")))) (macro "x" (number (arg "x") "alpha")) (arg "body"))))) (associate "page-shrink" "1fn") (associate "font-magnify" (macro "factor" "body" (with "font-size" (times (value "font-size") (arg "factor")) (arg "body")))) (associate "eqn-short-above" (macro "0.35fn")) (associate "display-example" (macro "nr" (compound "display-in-theorem-env" "example" (arg "nr")))) (associate "subsection-text" (macro (change-case (localize "subsection") "Upcase"))) (associate "math-font-shape" "normal") (associate "ind-display-note" (macro "x" (arg "x"))) (associate "header-title-dtd" "1.0") (associate "next-std-env" (macro (concat (compound "inc-std-env") (set-binding (compound "the-std-env"))))) (associate "appendix-sep" (macro (sectional-sep))) (associate "page-fnote-sep" "1.0fn") (associate "render-bibliography" (macro "name" "body" (document (principal-section* (arg "name")) (with "par-first" "0fn" "par-par-sep" "0fn" "font-size" "0.84" (arg "body"))))) (associate "definition" (macro "body" (document (surround (compound "next-definition") "" (compound "render-theorem" (concat (compound "definition-text") " " (compound "the-definition")) (arg "body")))))) (associate "appendix*" (macro "title" (concat (assign "appendix-numbered" "false") (assign "appendix-prefix" (macro "")) (compound "appendix-clean") (compound "appendix-header" (arg "title")) (compound "appendix-toc" (arg "title")) (compound "appendix-title" (arg "title"))))) (associate "ind-display-example" (macro "x" (arg "x"))) (associate "convention-text" (macro (localize "Convention"))) (associate "doc-footnote-sub" (macro "x" (concat "; " (arg "x")))) (associate "gr-point-style" "default") (associate "reset-paragraph" (macro (assign (compound "counter-paragraph") "0"))) (associate "the-exercise-env" (macro (compound "display-exercise-env" (value (compound "counter-exercise-env"))))) (associate "doc-footnote-ref" (macro "body" (if (quasi (unequal (get-arity (unquote (quote-arg "body"))) "0")) (rsup (doc-author-note-next))))) (associate "list-of-tables" (macro "aux" "body" (document (the-glossary* (arg "aux") (list-of-tables-text) (document (arg "body")))))) (associate "ind-counter-axiom" (macro "axiom-nr")) (associate "display-footnote" (macro "nr" (compound "display-in-std-env" "footnote" (arg "nr")))) (associate "render-big-figure" (macro "type" "name" "fig" "cap" (document (padded-normal "1fn" "1fn" (tabular* (tformat (twith "table-width" "1par") (cwith "3" "3" "1" "1" "cell-hyphen" "t") (cwith "1" "-1" "1" "-1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-rsep" "0spc") (cwith "2" "2" "1" "1" "cell-height" "0.5fn") (cwith "3" "3" "1" "1" "cell-lsep" "1.5fn") (cwith "3" "3" "1" "1" "cell-rsep" "1.5fn") (table (row (cell (arg "fig"))) (row (cell "")) (row (cell (document (small (surround (concat (figure-name (concat (arg "name") (figure-sep))) (list-caption (arg "type") (arg "cap"))) "" (document (arg "cap")))))))))))))) (associate "display-subparagraph" (macro "nr" (concat (paragraph-prefix) (arg "nr")))) (associate "the-paragraph" (macro (compound "display-paragraph" (value (compound "counter-paragraph"))))) (associate "ind-counter-figure-env" (macro "figure-env-nr")) (associate "very-large" (macro "x" (with "font-size" "1.414" (arg "x")))) (associate "compact-strong-dash-item" (macro "x" (compact-item (concat (item-strong (arg "x")) " " (emdash) " ")))) (associate "math-level" "0") (associate "inc-lemma" (macro (assign (compound "counter-lemma") (plus (value (compound "counter-lemma")) "1")))) (associate "cite*" (macro "x" (with "font-shape" "italic" (arg "x")))) (associate "code*" (macro "x" (with "font-family" "tt" (arg "x")))) (associate "gr-dash-style-unit" "default") (associate "cite" (xmacro "x" (render-cite (concat (cite-arg (arg "x" "0")) (map-args "cite-arg-extra" "concat" "x" "1"))))) (associate "code" (macro "body" (document (padded-normal "0.5fn" "1fn" (document (with "font-family" "tt" "language" "verbatim" "par-par-sep" "0fn" (arg "body"))))))) (associate "mode" "text") (associate "note" (macro "body" (document (surround (compound "next-note") "" (compound "render-remark" (concat (compound "note-text") " " (compound "the-note")) (arg "body")))))) (associate "reset-item" (macro (assign (compound "counter-item") "0"))) (associate "dpi" "600") (associate "math" (macro "x" (with "mode" "math" (arg "x")))) (associate "section-toc" (macro "name" (if (sectional-short-style) (toc-main-2 (toc-title "section" (arg "name"))) (toc-normal-1 (toc-title "section" (arg "name")))))) (associate "figure-text" (macro (localize "Figure"))) (associate "glossary-dup" (macro "entry" (concat (flag (localize "glossary") "dark green" "entry") (auto-label) (write "gly" (tuple "dup" (arg "entry") (pageref (the-auto))))))) (associate "index-1" (macro "left" "right" (concat (arg "left") (index-dots) (arg "right")))) (associate "tt" (macro "x" (with "font-family" "tt" (arg "x")))) (associate "index-2" (macro "left" "right" (with "par-left" "1.5fn" (concat (arg "left") (index-dots) (arg "right"))))) (associate "cell-lsep" "0fn") (associate "cell-bsep" "0fn") (associate "unfolded-std" (macro "x" "y" (document (render-folded-std (action (resize (with "mode" "math" "<bullet>") "" "" "r]1.5fn" "") "(mouse-fold)" (arg "x")) (document (arg "x") (arg "y")))))) (associate "problem*" (macro "body" (document (compound "render-exercise" (compound "problem-text") (arg "body"))))) (associate "paragraph*" (macro "title" (concat (assign "paragraph-numbered" "false") (assign "paragraph-prefix" (macro "")) (compound "paragraph-clean") (compound "paragraph-header" (arg "title")) (compound "paragraph-toc" (arg "title")) (compound "paragraph-title" (arg "title"))))) (associate "index-3" (macro "left" "right" (with "par-left" "3fn" (concat (arg "left") (index-dots) (arg "right"))))) (associate "cell-rsep" "0fn") (associate "cell-tsep" "0fn") (associate "pat-group*" (macro "x" (concat (with "color" "dark magenta" "mode" "math" "|") (arg "x")))) (associate "index-4" (macro "left" "right" (with "par-left" "4.5fn" (concat (arg "left") (index-dots) (arg "right"))))) (associate "doc-render-title" (macro "x" (surround (vspace* "0.5fn") (vspace "0.5fn") (document (doc-title-block (font-magnify "1.682" (with "math-font-series" "bold" "font-series" "bold" (arg "x")))))))) (associate "index-5" (macro "left" "right" (with "par-left" "6fn" (concat (arg "left") (index-dots) (arg "right"))))) (associate "email-text" (macro (localize "Email"))) (associate "par-line-sep" "0.025fns") (associate "remark-text" (macro (localize "Remark"))) (associate "compact-item" (macro "x" (concat (vspace* "0.5fn") (with "par-first" "-1.5fn" (yes-indent)) (resize (arg "x") "" "" "r]1.5fn" "")))) (associate "body" (macro "body" (surround (vspace* "0.5fn") "" (with "item*" (macro "name" (concat (vspace* "0.5fn") (with "font-series" "bold" "math-font-series" "bold" (concat (arg "name") " ")))) (arg "body"))))) (associate "lemma*" (macro "body" (document (compound "render-theorem" (compound "lemma-text") (arg "body"))))) (associate "lemma-text" (macro (localize "Lemma"))) (associate "section-generic-dtd" "1.0") (associate "gr-geometry" (tuple "geometry" "1par" "0.6par" "center")) (associate "doc-authors-data" (xmacro "data" (document (document (quasi (document (with "author-by" (macro "body" (arg "body")) (document (doc-authors (document (concat (space "0spc") (unquote* (map "doc-author-data*" (quote-arg "data")))))))))))))) (associate "really-tiny" (macro "x" (with "font-size" "0.5" (arg "x")))) (associate "reset-appendix" (macro (assign (compound "counter-appendix") "0"))) (associate "chapter" (macro "title" (concat (assign "chapter-numbered" (compound "chapter-display-numbers")) (assign "chapter-prefix" (macro (concat (compound "the-chapter") "."))) (compound "next-chapter") (compound "chapter-clean") (compound "chapter-header" (arg "title")) (compound "chapter-toc" (arg "title")) (if (value "chapter-numbered") (compound "chapter-numbered-title" (arg "title")) (compound "chapter-title" (arg "title")))))) (associate "smaller" (macro "x" (with "font-size" "0.771" (arg "x")))) (associate "larger" (macro "x" (with "font-size" "1.297" (arg "x")))) (associate "gather" (macro "body" (document (gather* (tformat (arg "body")))))) (associate "std-automatic-dtd" "1.0") (associate "ind-display-remark" (macro "x" (arg "x"))) (associate "abstract-text" (macro (localize "Abstract"))) (associate "ind-counter-definition" (macro "definition-nr")) (associate "matrix" (macro "x" (shrink-inline (concat (left "(") (tformat (cwith "1" "-1" "1" "-1" "cell-halign" "c") (arg "x")) (right ")"))))) (associate "display-lemma" (macro "nr" (compound "display-in-theorem-env" "lemma" (arg "nr")))) (associate "author-from-authors" (xmacro "x" (if (unequal (get-arity (quote-arg "x")) "0") (concat (arg "x" "0") (map-args "author-from-authors*" "concat" "x" "1"))))) (associate "reset-problem" (macro (assign (compound "counter-problem") "0"))) (associate "bibitem" (macro "text" (concat (bibitem* (arg "text")) (label (merge "bib-" (arg "text")))))) (associate "next-subsubsection" (macro (concat (compound "inc-subsubsection") (set-binding (compound "the-subsubsection"))))) (associate "wide-framed-color" "") (associate "the-subsubsection" (macro (compound "display-subsubsection" (value (compound "counter-subsubsection"))))) (associate "tabular" (macro "x" (tformat (arg "x")))) (associate "cell-lborder" "0ln") (associate "cell-rborder" "0ln") (associate "cell-bborder" "0ln") (associate "cell-tborder" "0ln") (associate "equation*" (macro "body" (with "mode" "math" "math-display" "true" "par-ver-sep" (eqn-ver-sep) (document (surround (concat (no-page-break*) (vspace* (eqn-short-above)) (no-indent) (htab "0fn")) (concat (htab "0fn") (vspace (eqn-short-below)) (no-indent*)) (arg "body")))))) (associate "section-nr" "0") (associate "display-item" (macro "x" (arg "x"))) (associate "equation-nr" "0") (associate "ind-display-figure-env" (macro "x" (arg "x"))) (associate "counter-part" (macro "part-nr")) (associate "the-appendix" (macro (compound "display-appendix" (value (compound "counter-appendix"))))) (associate "the-warning" (macro (compound "display-warning" (value (compound "counter-warning"))))) (associate "src-var" (macro "x" (with "color" "dark green" "font-shape" "italic" (arg "x")))) (associate "description" (macro "body" (document (list (macro "x" (compact-item (item-strong (concat (arg "x") ". ")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "subsubsection*" (macro "title" (concat (assign "subsubsection-numbered" "false") (assign "subsubsection-prefix" (macro "")) (compound "subsubsection-clean") (compound "subsubsection-header" (arg "title")) (compound "subsubsection-toc" (arg "title")) (compound "subsubsection-title" (arg "title"))))) (associate "plot-curve*" (macro "fun-x" "fun-y" "start-t" "end-t" (plot (localize "Plot parametric curve") (document (plot-group (localize "Function")) (plot-function "x" (arg "fun-x")) (plot-function "y" (arg "fun-y")) (plot-group (localize "Range")) (plot-range "t" (arg "start-t") (arg "end-t")))))) (associate "ind-counter-exercise" (macro "exercise-nr")) (associate "detailed" (macro "x" "y" (document (render-folded-env (action (resize (specific "screen" (with "mode" "math" "<bullet>")) "" "" "r]1.5fn" "") "(mouse-fold)" (arg "x")) (document (arg "y")))))) (associate "expanded" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (quote-arg "switch-args")))))))) (associate "principal-section*" (macro "title" (if (sectional-short-style) (section* (arg "title")) (chapter* (arg "title"))))) (associate "std-env-group" (tuple "theorem-env" "exercise-env" "figure-env" "equation" "footnote")) (associate "std-math-package" "1.0") (associate "magnification" "1") (associate "std-package" "1.0") (associate "index-5*" (macro "left" (with "par-left" "6fn" (concat (arg "left") (no-page-break))))) (associate "index-1*" (macro "left" (concat (arg "left") (no-page-break)))) (associate "subparagraph-display-numbers" (macro "false")) (associate "the-axiom" (macro (compound "display-axiom" (value (compound "counter-axiom"))))) (associate "cell-orientation" "portrait") (associate "cell-halign" "l") (associate "cell-valign" "B") (associate "counter-paragraph" (macro "paragraph-nr")) (associate "verbatim" (macro "body" (with "font-family" "tt" "language" "verbatim" (arg "body")))) (associate "reset-exercise-env" (macro (concat (assign (compound (error "bad merge")) "0") (for-each "reset-counter" (value "exercise-env-group"))))) (associate "item*" (macro "x" (concat (assign "last-item" (arg "x")) (current-item (arg "x"))))) (associate "description-aligned*" (macro "body" (document (list* (macro "x" (aligned-item (item-strong (concat (arg "x") ".")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "underline" (macro "x" (eval (quasiquote (datoms (macro "x" (with "color" (unquote (value "color")) (wide* (arg "x") "<wide-bar>"))) (arg "x")))))) (associate "folded-grouped" (macro "x" "y" (document (render-folded-grouped (action " " "(mouse-unfold)" (arg "x")) (document (arg "x") (hidden (arg "y"))))))) (associate "eqnarray" (macro "body" (eqnarray* (tformat (arg "body"))))) (associate "point-style" "disk") (associate "theorem" (macro "body" (document (surround (compound "next-theorem") "" (compound "render-theorem" (concat (compound "theorem-text") " " (compound "the-theorem")) (arg "body")))))) (associate "counter-lemma" (macro (compound "counter-in-theorem-env" "lemma"))) (associate "figure-env-nr" "0") (associate "dash-style" "none") (associate "ind-display-figure" (macro "x" (arg "x"))) (associate "page-odd-footer" (concat (htab "5mm") (page-the-page) (htab "5mm"))) (associate "center" (macro "body" (with "par-mode" "center" (arg "body")))) (associate "algorithm" (macro "name" "body" (surround (vspace* "1fn") (vspace "1fn") (with "par-first" "0cm" (surround (with "font-series" "bold" (concat (translate "Algorithm" "english" (language)) " " (with "font-family" "tt" (arg "name")))) "" (with "item*" (macro "what" (with "font-series" "bold" "math-font-series" "bold" (concat (arg "what") " "))) (arg "body"))))))) (associate "part-numbered" "false") (associate "page-right" "auto") (associate "toc-normal-1" (macro "what" (toc-entry "toc-1" (arg "what")))) (associate "pat-and-not" (macro "x" "y" (concat (with "color" "dark magenta" "(") (arg "x") (with "color" "dark magenta" "mode" "math" "\\\\") (arg "y") (with "color" "dark magenta" ")")))) (associate "toc-normal-2" (macro "what" (toc-entry "toc-2" (arg "what")))) (associate "new-counter" (macro "x" (quasi (concat (assign (unquote (merge (arg "x") "-nr")) "0") (assign (unquote (merge "display-" (arg "x"))) (value "identity")) (assign (unquote (merge "counter-" (arg "x"))) (macro (unquote (merge (arg "x") "-nr")))) (assign (unquote (merge "the-" (arg "x"))) (macro (compound (unquote (merge "display-" (arg "x"))) (value (compound (unquote (merge "counter-" (arg "x")))))))) (assign (unquote (merge "reset-" (arg "x"))) (macro (assign (compound (unquote (merge "counter-" (arg "x")))) "0"))) (assign (unquote (merge "inc-" (arg "x"))) (macro (assign (compound (unquote (merge "counter-" (arg "x")))) (plus (value (compound (unquote (merge "counter-" (arg "x"))))) "1")))) (assign (unquote (merge "next-" (arg "x"))) (macro (concat (compound (unquote (merge "inc-" (arg "x")))) (set-binding (compound (unquote (merge "the-" (arg "x")))))))))))) (associate "toc-normal-3" (macro "what" (toc-entry "toc-3" (arg "what")))) (associate "fill-style" "plain") (associate "exercise-nr" "0") (associate "part-title" (macro "name" (sectional-centered-bold (concat (vspace* "3fn") (really-huge (arg "name")) (vspace "1.5fn"))))) (associate "item-strong" (macro "name" (with "font-series" "bold" "math-font-series" "bold" (arg "name")))) (associate "table-hyphen" "n") (associate "folded-plain" (macro "x" "y" (document (surround "" (right-flush) (document (arg "x") (hidden (arg "y"))))))) (associate "unfolded-plain" (macro "x" "y" (document (surround "" (right-flush) (document (arg "x") (arg "y")))))) (associate "render-small-script" (macro "lan" "body" (with "color" "grey" (tabular (tformat (cwith "1" "-1" "1" "-1" "cell-lborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-rborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-bborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-tborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-background" "#8080A0") (cwith "1" "1" "2" "2" "cell-lborder" "0.5ln") (cwith "1" "1" "2" "2" "cell-rborder" "0.5ln") (cwith "1" "1" "2" "2" "cell-bborder" "0.5ln") (cwith "1" "1" "2" "2" "cell-tborder" "0.5ln") (cwith "1" "1" "2" "2" "cell-background" "pastel yellow") (cwith "1" "1" "1" "1" "cell-lsep" "0.15fn") (cwith "1" "1" "1" "1" "cell-rsep" "0.15fn") (table (row (cell (small (with "mode" "text" "font-family" "ss" (with "color" "white" (change-case (arg "lan") "Upcase"))))) (cell (with "color" "black" (arg "body")))))))))) (associate "next-problem" (macro (concat (compound "inc-problem") (set-binding (compound "the-problem"))))) (associate "doc-data-bis" (xmacro "body" (quasi (doc-title-note (unquote (quasi (doc-data-note (unquote* (quote-arg "body"))))))))) (associate "pageref" (macro "x" (locus (id (hard-id (arg "x"))) (link "hyperlink" (id (hard-id (arg "x"))) (url (merge "#" (arg "x")))) (get-binding (arg "x") "1")))) (associate "ind-display-notation" (macro "x" (arg "x"))) (associate "page-head-sep" "8mm") (associate "inc-table" (macro (assign (compound "counter-table") (plus (value (compound "counter-table")) "1")))) (associate "small-table" (macro "body" "caption" (concat (compound "next-table") (render-small-figure "table" (concat (compound "table-text") " " (compound "the-table")) (arg "body") (arg "caption"))))) (associate "appendix-numbered" "false") (associate "masculine" (rsup (wide* "o" "<wide-bar>"))) (associate "ind-display-equation" (macro "x" (arg "x"))) (associate "src-length" (macro "x" (with "color" "dark grey" (arg "x")))) (associate "bibitem*" (macro "text" (concat (render-bibitem (arg "text")) (set-binding (arg "text"))))) (associate "toc-strong-1" (macro "left" "right" (concat (vspace* "2fn") (with "font-series" "bold" "math-font-series" "bold" "font-size" "1.19" (arg "left")) (toc-dots) (no-break) (arg "right") (vspace "1fn")))) (associate "inc-remark" (macro (assign (compound "counter-remark") (plus (value (compound "counter-remark")) "1")))) (associate "toc-strong-2" (macro "left" "right" (concat (vspace* "1fn") (with "font-series" "bold" "math-font-series" "bold" (arg "left")) (toc-dots) (no-break) (arg "right") (vspace "0.5fn")))) (associate "plot-output" (macro "in" "out" (arg "out"))) (associate "save-aux" "true") (associate "inc-theorem-env" (macro (assign (compound "counter-theorem-env") (plus (value (compound "counter-theorem-env")) "1")))) (associate "reset-counter" (macro "x" (compound (merge "reset-" (arg "x"))))) (associate "wide-std-framed" (macro "body" (wide-framed "1ln" "1spc" "1sep" (arg "body")))) (associate "appendix" (macro "title" (concat (assign "appendix-numbered" (compound "appendix-display-numbers")) (assign "appendix-prefix" (macro (concat (compound "the-appendix") "."))) (compound "next-appendix") (compound "appendix-clean") (compound "appendix-header" (arg "title")) (compound "appendix-toc" (arg "title")) (if (value "appendix-numbered") (compound "appendix-numbered-title" (arg "title")) (compound "appendix-title" (arg "title")))))) (associate "page-screen-right" "5mm") (associate "gr-frame" (tuple "scale" "1cm" (tuple "0.5gw" "0.5gh"))) (associate "AMS-class-text" (macro (localize "A.M.S. subject classification"))) (associate "chapter-header" (macro "name" (if (not (sectional-short-style)) (header-primary (arg "name") (if (chapter-numbered) (the-chapter)) (chapter-text))))) (associate "input" (macro "prompt" "body" (with "mode" "prog" (compound (if (provides (merge (value "prog-language") "-input")) (merge (value "prog-language") "-input") "generic-input") (arg "prompt") (arg "body"))))) (associate "page-width-margin" "false") (associate "index" (macro "x" (concat (flag (localize "index") "dark green" "x") (index-write (tuple (arg "x")))))) (associate "cell-vpart" "") (associate "note*" (macro "body" (document (compound "render-remark" (compound "note-text") (arg "body"))))) (associate "page-width" "auto") (associate "inline-block" (macro "body" (tabular (tformat (cwith "1" "1" "1" "1" "cell-lsep" "0fn") (twith "table-width" "1par") (cwith "1" "1" "1" "1" "cell-rsep" "0fn") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (table (row (cell (document (arg "body"))))))))) (associate "doc-author-data-bis" (macro "body" (quasi (doc-author-note (unquote (quasi (doc-author-data-note (unquote* (quote-arg "body"))))))))) (associate "line-width" "1ln") (associate "description-compact" (macro "body" (document (list (macro "x" (compact-item (item-strong (concat (arg "x") ". ")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "pat-group" (xmacro "x" (concat (with "color" "dark magenta" "mode" "math" "(") (arg "x" "0") (map-args "pat-group*" "concat" "x" "1") (with "color" "dark magenta" "mode" "math" ")")))) (associate "next-appendix" (macro (concat (compound "inc-appendix") (set-binding (compound "the-appendix"))))) (associate "plot-surface*" (macro "fun-x" "fun-y" "fun-z" "start-u" "end-u" "start-v" "end-v" (plot (localize "Plot parametric surface") (document (plot-group (localize "Function")) (plot-function "x" (arg "fun-x")) (plot-function "y" (arg "fun-y")) (plot-function "z" (arg "fun-z")) (plot-group (localize "Range")) (plot-range "u" (arg "start-u") (arg "end-u")) (plot-range "v" (arg "start-v") (arg "end-v")))))) (associate "sectional-centered-bold" (macro "name" (sectional-centered (with "math-font-series" "bold" "font-series" "bold" (arg "name"))))) (associate "table-hmode" "auto") (associate "exercise-env-nr" "0") (associate "math-rel" (macro "x" (concat (space "0.5spc") (with "math-condensed" "true" (arg "x")) (space "0.5spc")))) (associate "lemma" (macro "body" (document (surround (compound "next-lemma") "" (compound "render-theorem" (concat (compound "lemma-text") " " (compound "the-lemma")) (arg "body")))))) (associate "next-corollary" (macro (concat (compound "inc-corollary") (set-binding (compound "the-corollary"))))) (associate "math-bin" (macro "x" (concat (space "0.5spc") (with "math-condensed" "true" (arg "x")) (space "0.5spc")))) (associate "ind-display-convention" (macro "x" (arg "x"))) (associate "inc-figure" (macro (assign (compound "counter-figure") (plus (value (compound "counter-figure")) "1")))) (associate "prog-scripts" "scheme") (associate "subparagraph*" (macro "title" (concat (assign "subparagraph-numbered" "false") (assign "subparagraph-prefix" (macro "")) (compound "subparagraph-clean") (compound "subparagraph-header" (arg "title")) (compound "subparagraph-toc" (arg "title")) (compound "subparagraph-title" (arg "title"))))) (associate "label" (macro "x" (concat (flag (arg "x") "blue" "x") (set-binding (arg "x") (value "the-label"))))) (associate "page-mnote-sep" "5mm") (associate "inc-appendix" (macro (assign (compound "counter-appendix") (plus (value (compound "counter-appendix")) "1")))) (associate "subsubsection-sep" (macro (sectional-sep))) (associate "subindex" (macro "x" "y" (concat (flag (localize "index") "dark green" "x") (index-write (tuple (arg "x") (arg "y")))))) (associate "slides" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (map "slide" (quote-arg "switch-args"))))))))) (associate "doc-title-block" (macro "body" (tabular* (tformat (twith "table-width" "1par") (cwith "1" "1" "1" "1" "cell-lsep" "0spc") (cwith "1" "1" "1" "1" "cell-rsep" "0spc") (cwith "1" "1" "1" "1" "cell-bsep" "0spc") (cwith "1" "1" "1" "1" "cell-tsep" "0spc") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (table (row (cell (document (with "par-mode" "center" (document (arg "body"))))))))))) (associate "table-of-contents*" (macro "aux" "name" "body" (document (render-table-of-contents (localize (arg "name")) (arg "body"))))) (associate "exercise-text" (macro (localize "Exercise"))) (associate "page-screen-width" "10cm") (associate "gr-geom" (macro "dims" "cm-1" (tuple "geometry" (merge (times (look-up (arg "dims") "0") (arg "cm-1")) "cm") (merge (times (look-up (arg "dims") "1") (arg "cm-1")) "cm")))) (associate "counter-section" (macro "section-nr")) (associate "display-in-figure-env" (macro "x" "nr" (compound "display-figure-env" (compound (merge "ind-display-" (arg "x")) (arg "nr"))))) (associate "doc-AMS-class" (xmacro "args" (concat (no-indent) (theorem-name (concat (AMS-class-text) (localize ":") " ")) (concat-tuple (copy (quote-arg "args")) ", ")))) (associate "set-odd-page-header" (macro "s" (concat (flag (localize "odd page header") "brown" "s") (assign "page-odd-header" (arg "s"))))) (associate "std-markup-package" "1.0") (associate "env-float-dtd" "1.0") (associate "prologue" (macro (principal-section* (prologue-text)))) (associate "folded" (macro "x" "y" (document (render-folded-std (action (resize (with "mode" "math" (op "<circ>")) "" "" "r]1.5fn" "") "(mouse-unfold)" (arg "x")) (document (arg "x") (hidden (arg "y"))))))) (associate "display-figure-env" (macro "nr" (compound "display-in-std-env" "figure-env" (arg "nr")))) (associate "epilogue" (macro (principal-section* (epilogue-text)))) (associate "counter-in-exercise-env" (macro "x" (compound (merge "ind-counter-" (arg "x"))))) (associate "toc-small-1" (macro "what" (toc-entry "toc-4" (arg "what")))) (associate "toc-small-2" (macro "what" (toc-entry "toc-5" (arg "what")))) (associate "author-address" (macro "x" (document (surround (vspace* "0.5fn") (vspace "0.5fn") (doc-author-block (arg "x")))))) (associate "chapter*" (macro "title" (concat (assign "chapter-numbered" "false") (assign "chapter-prefix" (macro "")) (compound "chapter-clean") (compound "chapter-header" (arg "title")) (compound "chapter-toc" (arg "title")) (compound "chapter-title" (arg "title"))))) (associate "normal-size" (macro "x" (with "font-size" "1" (arg "x")))) (associate "problem" (macro "body" (document (surround (compound "next-problem") "" (compound "render-exercise" (concat (compound "problem-text") " " (compound "the-problem")) (arg "body")))))) (associate "citeauthoryear" (macro "author" "year" (concat (arg "author") " " (arg "year")))) (associate "display-in-exercise-env" (macro "x" "nr" (compound "display-exercise-env" (compound (merge "ind-display-" (arg "x")) (arg "nr"))))) (associate "doc-data" (xmacro "data" (document (surround (assign "the-doc-data" (quote-arg "data")) (with "doc-note-nr" "0" (quasi (doc-data-hidden (unquote* (quote-arg "data"))))) (document (doc-make-title (document (with "doc-note-nr" "0" (quasi (document (compound (unquote (if (lesseq (length (select (quote-arg "data") "doc-author-data")) "1") (value "doc-data-main") (value "doc-data-main*"))) (unquote* (quote-arg "data"))))))))))))) (associate "page-type" "a4") (associate "src-package-dtd" (macro "x" "y" "a" "b" (concat (assign (merge (arg "x") "-package") (arg "y")) (assign (merge (arg "a") "-dtd") (arg "b"))))) (associate "doc-date" (macro "body" (concat (vspace* "0.5fn") (doc-title-block (with "font-shape" "italic" (arg "body"))) (vspace "0.5fn")))) (associate "pat-or*" (macro "x" (concat (with "color" "dark magenta" "mode" "math" "<vee>") (arg "x")))) (associate "itemize-dot*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" "<bullet>")) (arg "body"))))) (associate "gather*" (macro "body" (document (equations-base (document (tformat (twith "table-hyphen" "y") (twith "table-width" "1par") (twith "table-min-cols" "1") (twith "table-max-cols" "1") (cwith "1" "-1" "1" "-1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-rsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-bsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-tsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-hpart" "1") (cwith "1" "-1" "1" "-1" "cell-hyphen" "b") (cwith "1" "-1" "1" "-1" "cell-halign" "c") (cwith "1" "-1" "1" "-1" "cell-block" "no") (arg "body"))))))) (associate "inc-note" (macro (assign (compound "counter-note") (plus (value (compound "counter-note")) "1")))) (associate "draw-over" (macro "bg" "fg" (with "dims" (box-info (gr-tbl (arg "bg")) "wh") "cm-1" (over (look-up (cm-length) "0")) (with "gr-geometry" (gr-geom (value "dims") (value "cm-1")) (superpose (frozen (gr-tbl (arg "bg"))) (gr-tbl (arg "fg"))))))) (associate "the-tags" (tuple)) (associate "next-item" (macro (concat (compound "inc-item") (set-binding (compound "the-item"))))) (associate "inc-auto" (macro (assign (compound "counter-auto") (plus (value (compound "counter-auto")) "1")))) (associate "part-text" (macro (change-case (localize "part") "Upcase"))) (associate "indent-left" (macro "l" "body" (document (with "par-left" (plus (value "par-left") (arg "l")) (document (arg "body")))))) (associate "lemma-nr" "0") (associate "std-symbol-dtd" "1.0") (associate "axiom-text" (macro (localize "Axiom"))) (associate "reset-theorem-env" (macro (assign (compound "counter-theorem-env") "0"))) (associate "table-max-cols" "") (associate "table-min-cols" "") (associate "subsection-toc" (macro "name" (toc-normal-2 (toc-title "subsection" (arg "name"))))) (associate "the-glossary" (macro "aux" "body" (document (render-glossary (glossary-text) (arg "body"))))) (associate "group-common-counter" (macro "g" (quasi (concat (assign (unquote (merge "display-in-" (arg "g"))) (macro "x" "nr" (compound (unquote (merge "display-" (arg "g"))) (arg "nr")))) (assign (unquote (merge "counter-in-" (arg "g"))) (macro "x" (compound (unquote (merge "counter-" (arg "g")))))) (assign (unquote (merge "reset-" (arg "g"))) (macro (assign (compound (unquote (merge "counter-" (arg "g")))) "0"))))))) (associate "pat-repeat-any" (macro (pat-repeat (pat-any)))) (associate "next-doc-note" (macro (concat (compound "inc-doc-note") (set-binding (compound "the-doc-note"))))) (associate "display-theorem-env" (macro "nr" (compound "display-in-std-env" "theorem-env" (arg "nr")))) (associate "warning" (macro "body" (document (surround (compound "next-warning") "" (compound "render-remark" (concat (compound "warning-text") " " (compound "the-warning")) (arg "body")))))) (associate "render-folded-grouped" (macro "button" "body" (document (with "old-color" (value "color") "color" "blue" (document (tabular (tformat (twith "table-width" "1par") (twith "table-hmode" "exact") (cwith "1" "1" "2" "2" "cell-hpart" "1") (cwith "1" "1" "1" "1" "cell-lsep" "0ln") (cwith "1" "1" "1" "1" "cell-rsep" "0ln") (cwith "1" "1" "1" "1" "cell-bsep" "0ln") (cwith "1" "1" "1" "1" "cell-tsep" "0ln") (cwith "1" "1" "1" "1" "cell-width" "20ln") (cwith "1" "1" "1" "1" "cell-hmode" "exact") (cwith "1" "1" "2" "2" "cell-hyphen" "t") (table (row (cell (subtable (tformat (cwith "1" "-1" "1" "-1" "cell-background" "pastel blue") (cwith "2" "2" "2" "2" "cell-background" "") (cwith "1" "-1" "1" "1" "cell-lborder" "0.5ln") (cwith "1" "1" "1" "-1" "cell-tborder" "0.5ln") (cwith "3" "3" "1" "-1" "cell-bborder" "0.5ln") (cwith "3" "3" "2" "2" "cell-rborder" "0.5ln") (cwith "3" "3" "2" "2" "cell-tborder" "0.5ln") (cwith "1" "1" "2" "2" "cell-rborder" "0.5ln") (cwith "1" "1" "2" "2" "cell-bborder" "0.5ln") (cwith "2" "2" "1" "1" "cell-rborder" "0.5ln") (cwith "1" "-1" "2" "2" "cell-width" "6ln") (cwith "1" "-1" "2" "2" "cell-hmode" "exact") (cwith "1" "-1" "1" "-1" "cell-lsep" "0ln") (cwith "1" "-1" "1" "-1" "cell-rsep" "0ln") (cwith "1" "-1" "1" "-1" "cell-bsep" "0ln") (cwith "1" "-1" "1" "-1" "cell-tsep" "0ln") (cwith "2" "2" "1" "1" "cell-halign" "l") (cwith "1" "-1" "1" "-1" "cell-vcorrect" "n") (cwith "2" "2" "1" "-1" "cell-vpart" "1") (cwith "1" "-1" "2" "2" "cell-hpart" "1") (cwith "1" "-1" "1" "1" "cell-width" "6ln") (cwith "1" "-1" "1" "1" "cell-hmode" "exact") (cwith "3" "3" "1" "-1" "cell-height" "6ln") (cwith "3" "3" "1" "-1" "cell-vmode" "exact") (cwith "1" "1" "1" "-1" "cell-height" "6ln") (cwith "1" "1" "1" "-1" "cell-vmode" "exact") (cwith "1" "-1" "1" "-1" "cell-valign" "c") (table (row (cell (arg "button")) (cell (arg "button"))) (row (cell (arg "button")) (cell (arg "button"))) (row (cell (arg "button")) (cell (arg "button"))))))) (cell (document (with "color" (value "old-color") (document (arg "body")))))))))))))) (associate "inc-chapter" (macro (assign (compound "counter-chapter") (plus (value (compound "counter-chapter")) "1")))) (associate "gr-tbl" (macro "x" (block (tformat (cwith "1" "1" "1" "1" "cell-lsep" "0pt") (cwith "1" "1" "1" "1" "cell-rsep" "0pt") (cwith "1" "1" "1" "1" "cell-bsep" "0pt") (cwith "1" "1" "1" "1" "cell-tsep" "0pt") (cwith "1" "1" "1" "1" "cell-lborder" "0pt") (cwith "1" "1" "1" "1" "cell-rborder" "0pt") (cwith "1" "1" "1" "1" "cell-bborder" "0pt") (cwith "1" "1" "1" "1" "cell-tborder" "0pt") (table (row (cell (arg "x")))))))) (associate "the-example" (macro (compound "display-example" (value (compound "counter-example"))))) (associate "subparagraph-text" (macro (change-case (localize "subparagraph") "Upcase"))) (associate "inc-subsubsection" (macro (assign (compound "counter-subsubsection") (plus (value (compound "counter-subsubsection")) "1")))) (associate "part-nr" "0") (associate "axiom-nr" "0") (associate "section*" (macro "title" (concat (assign "section-numbered" "false") (assign "section-prefix" (macro "")) (compound "section-clean") (compound "section-header" (arg "title")) (compound "section-toc" (arg "title")) (compound "section-title" (arg "title"))))) (associate "screens" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (quote-arg "switch-args")))))))) (associate "std-graphics-dtd" "1.0") (associate "varmasculine" (rsup "o")) (associate "long-compact-strong-dot-item" (macro "x" (item-long (concat (no-indent) (move (item-strong (concat (arg "x") ".")) "-1.5fn" "0fn"))))) (associate "gr-line-width" "default") (associate "inc-doc-note" (macro (assign (compound "counter-doc-note") (plus (value (compound "counter-doc-note")) "1")))) (associate "pat-and" (xmacro "x" (concat (with "color" "dark magenta" "(") (arg "x" "0") (map-args "pat-and*" "concat" "x" "1") (with "color" "dark magenta" ")")))) (associate "theorem-env-nr" "0") (associate "tabular*" (macro "x" (tformat (cwith "1" "-1" "1" "-1" "cell-halign" "c") (arg "x")))) (associate "new-section" (macro "x" (quasi (concat (new-counter (unquote (arg "x"))) (assign (unquote (merge (arg "x") "-text")) (macro (change-case (localize (unquote (arg "x"))) "Upcase"))) (assign (unquote (arg "x")) (macro "title" (concat (assign (unquote (merge (arg "x") "-numbered")) (compound (unquote (merge (arg "x") "-display-numbers")))) (assign (unquote (merge (arg "x") "-prefix")) (macro (concat (compound (unquote (merge "the-" (arg "x")))) "."))) (compound (unquote (merge "next-" (arg "x")))) (compound (unquote (merge (arg "x") "-clean"))) (compound (unquote (merge (arg "x") "-header")) (arg "title")) (compound (unquote (merge (arg "x") "-toc")) (arg "title")) (if (value (unquote (merge (arg "x") "-numbered"))) (compound (unquote (merge (arg "x") "-numbered-title")) (arg "title")) (compound (unquote (merge (arg "x") "-title")) (arg "title")))))) (assign (unquote (merge (arg "x") "*")) (macro "title" (concat (assign (unquote (merge (arg "x") "-numbered")) "false") (assign (unquote (merge (arg "x") "-prefix")) (macro "")) (compound (unquote (merge (arg "x") "-clean"))) (compound (unquote (merge (arg "x") "-header")) (arg "title")) (compound (unquote (merge (arg "x") "-toc")) (arg "title")) (compound (unquote (merge (arg "x") "-title")) (arg "title"))))) (assign (unquote (merge (arg "x") "-numbered")) "false") (assign (unquote (merge (arg "x") "-prefix")) (macro "")) (assign (unquote (merge (arg "x") "-display-numbers")) "true") (assign (unquote (merge (arg "x") "-sep")) (macro (sectional-sep))) (assign (unquote (merge (arg "x") "-title")) (macro "title" (concat (strong (arg "title")) (compound (unquote (merge (arg "x") "-sep")))))) (assign (unquote (merge (arg "x") "-numbered-title")) (macro "title" (compound (unquote (merge (arg "x") "-title")) (concat (compound (unquote (merge "the-" (arg "x")))) (compound (unquote (merge (arg "x") "-sep"))) (arg "title"))))) (assign (unquote (merge (arg "x") "-clean")) (macro "")) (assign (unquote (merge (arg "x") "-header")) (macro "title" "")) (assign (unquote (merge (arg "x") "-toc")) (macro "title" "")))))) (associate "par-hor-sep" "0.5fn") (associate "par-ver-sep" "0.2fn") (associate "par-par-sep" "0.6666fn") (associate "example-text" (macro (localize "Example"))) (associate "strong" (macro "x" (with "font-series" "bold" "math-font-series" "bold" (arg "x")))) (associate "next-proposition" (macro (concat (compound "inc-proposition") (set-binding (compound "the-proposition"))))) (associate "std-markup-dtd" "1.0") (associate "auto-nr" "0") (associate "note-nr" "0") (associate "subparagraph-sep" (macro (sectional-sep))) (associate "enumerate-2*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "alpha")) (arg "body"))))) (associate "pat-any" (macro (with "color" "magenta" "mode" "math" (group "<ast>")))) (associate "inc-exercise-env" (macro (assign (compound "counter-exercise-env") (plus (value (compound "counter-exercise-env")) "1")))) (associate "the-subparagraph" (macro (compound "display-subparagraph" (value (compound "counter-subparagraph"))))) (associate "overline" (macro "x" (eval (quasiquote (datoms (macro "x" (with "color" (unquote (value "color")) (wide (arg "x") "<wide-bar>"))) (arg "x")))))) (associate "part-prefix" (macro "")) (associate "page-screen-top" "15mm") (associate "figure-env-group" (tuple "figure" "table")) (associate "inc-theorem" (macro (assign (compound "counter-theorem") (plus (value (compound "counter-theorem")) "1")))) (associate "page-screen-bot" "15mm") (associate "line-arrows" "none") (associate "sectional-centered" (macro "name" (wide-centered (concat (arg "name") (no-page-break) (no-indent*))))) (associate "reset-section" (macro (assign (compound "counter-section") "0"))) (associate "the-glossary*" (macro "aux" "name" "body" (document (render-glossary (localize (arg "name")) (arg "body"))))) (associate "subsection-numbered" "false") (associate "src-special" "normal") (associate "sectional-normal-italic" (macro "name" (sectional-normal (with "font-shape" "italic" (arg "name"))))) (associate "the-table" (macro (compound "display-table" (value (compound "counter-table"))))) (associate "toc-title" (macro "env" "title" (if (compound (unquote (merge (arg "env") "-numbered"))) (concat (compound (unquote (merge "the-" (arg "env")))) (compound (unquote (merge (arg "env") "-sep"))) (arg "title")) (arg "title")))) (associate "doc-title" (macro "body" (doc-render-title (concat (arg "body") (doc-footnote-ref (quasi (doc-data-note (unquote* (quote-value "the-doc-data"))))))))) (associate "glossary" (macro "entry" (concat (flag (localize "glossary") "dark green" "entry") (auto-label) (write "gly" (tuple "normal" (arg "entry") (pageref (the-auto))))))) (associate "list-of-figures-text" (macro (localize "List of figures"))) (associate "doc-make-title" (macro "body" (surround "" (vspace "2fn") (doc-title-block (arg "body"))))) (associate "new-env" (macro "env" "name" "group" "render" (quasi (concat (add-to-counter-group (unquote (arg "env")) (unquote (arg "group"))) (assign (unquote (merge (arg "env") "-text")) (macro (localize (unquote (arg "name"))))) (assign (unquote (arg "env")) (macro "body" (document (surround (compound (unquote (merge "next-" (arg "env")))) "" (compound (unquote (arg "render")) (concat (compound (unquote (merge (arg "env") "-text"))) " " (compound (unquote (merge "the-" (arg "env"))))) (arg "body")))))) (assign (unquote (merge (arg "env") "*")) (macro "body" (document (compound (unquote (arg "render")) (compound (unquote (merge (arg "env") "-text"))) (arg "body"))))))))) (associate "doc-abstract*" (macro "body" "note" (document (quasi (document (doc-abstract (document (surround "" (vspace "0.5fn") (unquote (quote-arg "body"))) (with "par-par-sep" "0.25fn" (document (unquote* (arg "note"))))))))))) (associate "display-axiom" (macro "nr" (compound "display-in-theorem-env" "axiom" (arg "nr")))) (associate "section-prefix" (macro "")) (associate "generic-session" (macro "name" "body" (document (padded-normal "1fn" "1fn" (document (with "par-first" "0fn" "par-par-sep" "0fn" (arg "body"))))))) (associate "sectional-short-bold" (macro "name" (sectional-short (with "math-font-series" "bold" "font-series" "bold" (arg "name"))))) (associate "enumerate" (macro "body" (document (with "enumerate-level" (plus (mod (value "enumerate-level") "3") "1") (document (compound (merge "enumerate-" (value "enumerate-level")) (arg "body"))))))) (associate "really-large" (macro "x" (with "font-size" "1.542" (arg "x")))) (associate "twosuperior" (macro (with "font" "tc" ""))) (associate "quote-env" (macro "body" (document (padded-normal "0.5fn" "0.5fn" (document (indent-both "3fn" "3fn" (document (with "par-first" "0fn" "par-par-sep" "0.25fn" (arg "body"))))))))) (associate "TeXmacs" (macro (concat "T" (rsub (concat (space "-0.4spc") (move (resize (with "math-level" "0" "E") "" "" "" "0.5fn" "") "0fn" "-0.1fn"))) (space "-0.4spc") "X" (rsub (concat (space "-0.4spc") (move (resize (concat "M" (space "-0.2spc") "A" (space "-0.4spc") "CS") "" "" "" "0.5fn" "") "0fn" "-0.1fn")))))) (associate "draw-under" (macro "bg" "fg" (with "dims" (box-info (gr-tbl (arg "bg")) "wh") "cm-1" (over (look-up (cm-length) "0")) (with "gr-geometry" (gr-geom (value "dims") (value "cm-1")) (superpose (gr-tbl (arg "bg")) (frozen (gr-tbl (arg "fg")))))))) (associate "subsubsection-numbered" "false") (associate "appendix-text" (macro (change-case (localize "appendix") "Upcase"))) (associate "paragraph-title" (macro "name" (sectional-short-bold (concat (vspace* "0.5fn") (arg "name") (paragraph-sep))))) (associate "threequarters" (macro (with "font" "tc" ""))) (associate "right-flush" (macro (htab "0fn" "first"))) (associate "author-email" (macro "x" (doc-author-block (concat (with "font-shape" "italic" (concat (email-text) (localize ":") " ")) (with "font-family" "tt" (arg "x")))))) (associate "render-glossary" (macro "name" "body" (document (principal-section* (arg "name")) (with "par-first" "0fn" "par-par-sep" "0fn" "font-size" "0.84" (arg "body"))))) (associate "render-folded-std" (macro "button" "body" (document (with "par-left" (plus (value "par-left") "1.5fn") (surround (concat (with "par-first" "-1.5fn" (yes-indent)) (arg "button")) (hflush) (document (arg "body"))))))) (associate "section-title" (macro "name" (sectional-normal-bold (concat (vspace* "1.5fn") (very-large (arg "name")) (vspace "0.5fn"))))) (associate "index-write" (macro "entry" (concat (auto-label) (write "idx" (tuple (arg "entry") (pageref (the-auto))))))) (associate "TeXmacs-version" (macro (extern "texmacs-version"))) (associate "plot-surface" (macro "fun-f" "start-x" "end-x" "start-y" "end-y" (plot (localize "Plot surface") (document (plot-group (localize "Function")) (plot-function "f" (arg "fun-f")) (plot-group (localize "Range")) (plot-range "x" (arg "start-x") (arg "end-x")) (plot-range "y" (arg "start-y") (arg "end-y")))))) (associate "ind-display-footnote" (macro "x" (arg "x"))) (associate "visited-color" "global") (associate "doc-running-title" (macro "body" (if (unequal (arg "body") (uninit)) (header-title (arg "body"))))) (associate "enumerate-Roman*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "Roman")) (arg "body"))))) (associate "enumerate-roman*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "roman")) (arg "body"))))) (associate "script-aux-1" (macro "lan" "body" (arg "body"))) (associate "convention-nr" "0") (associate "script-aux-2" (macro "lan" "body" (with "mode" "prog" "prog-language" (arg "lan") (arg "body")))) (associate "script-aux-3" (macro "lan" "body" (compound (if (equal (value "mode") "math") "script-aux-1" "script-aux-2") (arg "lan") (arg "body")))) (associate "next-section" (macro (concat (compound "inc-section") (set-binding (compound "the-section"))))) (associate "aligned-space-item" (macro "x" (aligned-item (concat (arg "x") "  ")))) (associate "counter-axiom" (macro (compound "counter-in-theorem-env" "axiom"))) (associate "cell-hmode" "auto") (associate "warning-text" (macro (localize "Warning"))) (associate "proposition" (macro "body" (document (surround (compound "next-proposition") "" (compound "render-theorem" (concat (compound "proposition-text") " " (compound "the-proposition")) (arg "body")))))) (associate "big-figure" (macro "body" "caption" (document (surround (compound "next-figure") "" (render-big-figure "figure" (concat (compound "figure-text") " " (compound "the-figure")) (arg "body") (arg "caption")))))) (associate "render-proof" (macro "which" "body" (document (surround "" (concat (htab "0.5fn") (with "mode" "math" "<box>")) (document (render-remark (arg "which") (arg "body"))))))) (associate "conjecture-nr" "0") (associate "summarized-std" (macro "x" "y" (document (render-folded-std (action (resize (specific "screen" (with "mode" "math" (op "<circ>"))) "" "" "r]1.5fn" "") "(mouse-unfold)" (arg "x")) (document (arg "x")))))) (associate "add-to-counter-group" (macro "x" "g" (quasi (concat (assign (unquote (merge (arg "g") "-group")) (merge (value (merge (arg "g") "-group")) (tuple (arg "x")))) (new-counter (arg "x")) (assign (unquote (merge "ind-display-" (arg "x"))) (value (unquote (merge "display-" (arg "x"))))) (assign (unquote (merge "ind-counter-" (arg "x"))) (value (unquote (merge "counter-" (arg "x"))))) (assign (unquote (merge "display-" (arg "x"))) (macro "nr" (compound (unquote (merge "display-in-" (arg "g"))) (unquote (arg "x")) (arg "nr")))) (assign (unquote (merge "counter-" (arg "x"))) (macro (compound (unquote (merge "counter-in-" (arg "g"))) (unquote (arg "x"))))))))) (associate "table-of-contents-text" (macro (localize "Table of contents"))) (associate "display-chapter" (macro "x" (arg "x"))) (associate "copyleft" (macro (with "font" "tcx" ""))) (associate "doc-author-data-note" (xmacro "data" (quasi (document (unquote* (select (quote-arg "data") "author-note" "document" (pat-any))))))) (associate "reset-equation" (macro (assign (compound "counter-equation") "0"))) (associate "reset-subparagraph" (macro (assign (compound "counter-subparagraph") "0"))) (associate "eqn-short-below" (macro "0.35fn")) (associate "exercise-env-group" (tuple "exercise" "problem")) (associate "the-notation" (macro (compound "display-notation" (value (compound "counter-notation"))))) (associate "paragraph-header" (macro "title" "")) (associate "ind-display-theorem-env" (macro "x" (arg "x"))) (associate "reset-notation" (macro (assign (compound "counter-notation") "0"))) (associate "style-only*" (macro "x" (arg "x"))) (associate "the-equation" (macro (compound "display-equation" (value (compound "counter-equation"))))) (associate "TeX" (macro (concat "T" (rsub (concat (space "-0.4spc") (move (resize (with "math-level" "0" "E") "" "" "" "0.5fn" "") "0fn" "-0.1fn"))) (space "-0.4spc") "X"))) (associate "reset-lemma" (macro (assign (compound "counter-lemma") "0"))) (associate "env-theorem-package" "1.0") (associate "figure-name" (macro "name" (with "font-series" "bold" (arg "name")))) (associate "tag" (macro "x" "y" (with "the-tags" (merge (value "the-tags") (tuple (arg "x"))) (surround (flag (arg "x") "blue" "x") "" (arg "y"))))) (associate "subparagraph-numbered" "false") (associate "section-display-numbers" (macro "false")) (associate "name" (macro "x" (with "font-shape" "small-caps" (arg "x")))) (associate "inc-problem" (macro (assign (compound "counter-problem") (plus (value (compound "counter-problem")) "1")))) (associate "unfolded-grouped" (macro "x" "y" (document (render-folded-grouped (action " " "(mouse-fold)" (arg "x")) (document (arg "x") (arg "y")))))) (associate "subsubsection" (macro "title" (concat (assign "subsubsection-numbered" (compound "subsubsection-display-numbers")) (assign "subsubsection-prefix" (macro (concat (compound "the-subsubsection") "."))) (compound "next-subsubsection") (compound "subsubsection-clean") (compound "subsubsection-header" (arg "title")) (compound "subsubsection-toc" (arg "title")) (if (value "subsubsection-numbered") (compound "subsubsection-numbered-title" (arg "title")) (compound "subsubsection-title" (arg "title")))))) (associate "em" (macro "x" (with "font-shape" (if (equal (value "font-shape") "italic") "right" "italic") (arg "x")))) (associate "subsubsection-numbered-title" (macro "title" (compound "subsubsection-title" (concat (compound "the-subsubsection") (compound "subsubsection-sep") (arg "title"))))) (associate "yen" (macro (with "font" "tc" ""))) (associate "really-huge" (macro "x" (with "font-size" "2" (arg "x")))) (associate "item" (macro (concat (next-item) (item* (the-item))))) (associate "map" (macro "f" "args" (extern "ext-map" (arg "f") (arg "args")))) (associate "session-dtd" "1.0") (associate "reset-part" (macro (assign (compound "counter-part") "0"))) (associate "math-open" (macro "x" (with "math-condensed" "true" (arg "x")))) (associate "page-user-height" "522pt") (associate "var" (macro "x" (with "font-family" "tt" "font-shape" "italic" (arg "x")))) (associate "samp" (macro "x" (with "font-family" "ss" (arg "x")))) (associate "det" (macro "x" (shrink-inline (concat (left "|") (tformat (cwith "1" "-1" "1" "-1" "cell-halign" "c") (arg "x")) (right "|"))))) (associate "mu" (macro (with "font" "tcx" ""))) (associate "set-page-number" (macro "nr" (concat (flag (localize "renumber this page") "brown" "nr") (assign "page-nr" (arg "nr"))))) (associate "reset-remark" (macro (assign (compound "counter-remark") "0"))) (associate "show-part" (macro "id" "active" "inactive" (document (arg "active")))) (associate "current-item" (macro "x" (aligned-item (concat (arg "x") "  ")))) (associate "inc-paragraph" (macro (assign (compound "counter-paragraph") (plus (value (compound "counter-paragraph")) "1")))) (associate "counter-theorem-env" (macro (compound "counter-in-std-env" "theorem-env"))) (associate "doc-authors-data-bis" (xmacro "x" (quasi (concat (space "0spc") (unquote* (map "doc-author-data-bis" (quote-arg "x"))))))) (associate "sectional-centered-italic" (macro "name" (sectional-centered (with "font-shape" "italic" (arg "name"))))) (associate "src-style-file" (macro "x" "y" (assign (merge (arg "x") "-style") (arg "y")))) (associate "wide-underlined" (macro "bborder" "bsep" "body" (wide-bothlined "0pt" (arg "bborder") "0pt" (arg "bsep") (arg "body")))) (associate "active" (macro "x" (arg "x"))) (associate "src-arg" (macro "x" (with "color" "brown" "font-shape" "italic" (arg "x")))) (associate "itemize-arrow*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "<rightarrow>"))) (arg "body"))))) (associate "list-of-tables-text" (macro (localize "List of tables"))) (associate "counter-convention" (macro (compound "counter-in-theorem-env" "convention"))) (associate "display-part" (macro "nr" (number (arg "nr") "Roman"))) (associate "env-package" "1.0") (associate "counter-remark" (macro (compound "counter-in-theorem-env" "remark"))) (associate "inactive*" (macro "x" (rewrite-inactive (arg "x") "recurse"))) (associate "env-math-package" "1.0") (associate "page-breaking" "optimal") (associate "localize" (macro "x" (translate (arg "x") "english" (value "language")))) (associate "index-2*" (macro "left" (with "par-left" "1.5fn" (concat (arg "left") (no-page-break))))) (associate "title-generic-package" "1.0") (associate "reset-figure" (macro (assign (compound "counter-figure") "0"))) (associate "converter-output" (macro "format" "in" "out" (arg "out"))) (associate "itemize" (macro "body" (document (with "itemize-level" (plus (mod (value "itemize-level") "3") "1") (document (compound (merge "itemize-" (value "itemize-level")) (arg "body"))))))) (associate "vresize" (macro "x" "bottom" "top" (resize (arg "x") "" (arg "bottom") "" (arg "top")))) (associate "hresize" (macro "x" "left" "right" (resize (arg "x") (arg "left") "" (arg "right") ""))) (associate "reset-warning" (macro (assign (compound "counter-warning") "0"))) (associate "chapter-sep" (macro (sectional-sep))) (associate "remark" (macro "body" (document (surround (compound "next-remark") "" (compound "render-remark" (concat (compound "remark-text") " " (compound "the-remark")) (arg "body")))))) (associate "set-page-number-macro" (macro "rendering-macro" (concat (flag (localize "page number text") "brown" "rendering-macro") (assign "page-the-page" (arg "rendering-macro"))))) (associate "detailed-grouped" (macro "x" "y" (document (render-folded-grouped (action " " "(mouse-fold)" (arg "x")) (document (arg "y")))))) (associate "src-style" "angular") (associate "ind-counter-corollary" (macro "corollary-nr")) (associate "item-nr" "0") (associate "ind-counter-footnote" (macro "footnote-nr")) (associate "inactive" (macro "x" (rewrite-inactive (arg "x") "once"))) (associate "copyright" (macro (with "font" "tcx" ""))) (associate "src-title" (macro "x" (arg "x"))) (associate "doc-data-note" (xmacro "data" (quasi (document (unquote* (select (quote-arg "data") "doc-note" "document" (pat-any))))))) (associate "ignore" (macro "x" (hidden (arg "x")))) (associate "pat-several-any" (macro "nr" (concat (pat-any) (with "color" "dark magenta" "mode" "math" (rsup (arg "nr")))))) (associate "converter-eval" (macro "format" "in" (render-small-script (arg "format") (with "mode" "prog" "prog-language" "verbatim" (arg "in"))))) (associate "counter-figure" (macro (compound "counter-in-figure-env" "figure"))) (associate "reset-table" (macro (assign (compound "counter-table") "0"))) (associate "definition-text" (macro (localize "Definition"))) (associate "ind-counter-convention" (macro "convention-nr")) (associate "counter-exercise-env" (macro (compound "counter-in-std-env" "exercise-env"))) (associate "footnote-nr" "0") (associate "section-base-package" "1.0") (associate "page-nr" "0") (associate "notation-text" (macro (localize "Notation"))) (associate "cite-arg" (macro "x" (concat (write "bib" (arg "x")) (reference (merge "bib-" (arg "x")))))) (associate "next-remark" (macro (concat (compound "inc-remark") (set-binding (compound "the-remark"))))) (associate "conjecture-text" (macro (localize "Conjecture"))) (associate "align*" (macro "body" (document (equations-base (document (tformat (twith "table-hyphen" "y") (twith "table-width" "1par") (twith "table-min-cols" "2") (twith "table-max-cols" "2") (cwith "1" "-1" "1" "1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "1" "cell-rsep" "0.5spc") (cwith "1" "-1" "-1" "-1" "cell-rsep" "0spc") (cwith "1" "-1" "-1" "-1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-bsep" "0sep") (cwith "1" "-1" "1" "-1" "cell-tsep" "0sep") (cwith "1" "-1" "1" "1" "cell-hpart" "1") (cwith "1" "-1" "-1" "-1" "cell-hpart" "1") (cwith "1" "-1" "1" "1" "cell-halign" "r") (cwith "1" "-1" "1" "1" "cell-hyphen" "b") (cwith "1" "-1" "-1" "-1" "cell-halign" "l") (cwith "1" "-1" "-1" "-1" "cell-hyphen" "t") (cwith "1" "-1" "1" "-1" "cell-block" "no") (arg "body"))))))) (associate "hlink" (macro "x" "y" (locus (id (hard-id (arg "x"))) (link "hyperlink" (id (hard-id (arg "x"))) (url (arg "y"))) (arg "x")))) (associate "doc-inactive" (macro "body" (document (quasi (document (surround (vspace* "0.5fn") "" (document (doc-title-block (inline-tag (unquote (get-label (quote-arg "body"))) (unquote* (quote-arg "body"))))))))))) (associate "part-header" (macro "title" "")) (associate "the-remark" (macro (compound "display-remark" (value (compound "counter-remark"))))) (associate "reset-doc-note" (macro (assign (compound "counter-doc-note") "0"))) (associate "chapter-nr" "0") (associate "theorem-nr" "0") (associate "header-generic-package" "1.0") (associate "chapter-numbered" "false") (associate "detailed-std" (macro "x" "y" (document (render-folded-std (action (resize (specific "screen" (with "mode" "math" "<bullet>")) "" "" "r]1.5fn" "") "(mouse-fold)" (arg "x")) (document (arg "y")))))) (associate "cell-height" "") (associate "TeXmacs-version-release" (macro "type" (extern "texmacs-version-release*" (quote-arg "type")))) (associate "appendix-display-numbers" (macro "false")) (associate "next-warning" (macro (concat (compound "inc-warning") (set-binding (compound "the-warning"))))) (associate "description-long*" (macro "body" (document (list* (macro "x" (item-long (concat (no-indent) (move (item-strong (concat (arg "x") ".")) "-1.5fn" "0fn")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "the-doc-note" (macro (number (value "doc-note-nr") "fnsymbol"))) (associate "scripts-package" "1.0") (associate "page-float-sep" "1.5fn") (associate "ind-display-axiom" (macro "x" (arg "x"))) (associate "section-header" (macro "name" (if (sectional-short-style) (header-primary (arg "name") (if (section-numbered) (the-section)) (section-text)) (header-secondary (arg "name") (if (section-numbered) (the-section)) (section-text))))) (associate "env-float-package" "1.0") (associate "counter-example" (macro (compound "counter-in-theorem-env" "example"))) (associate "pat-compound" (xmacro "x" (concat (with "color" "dark magenta" (concat (with "mode" "math" "<langle>") (with "font-family" "ss" (arg "x" "0")))) (map-args "pat-compound*" "concat" "x" "1") (with "color" "dark magenta" "mode" "math" "<rangle>")))) (associate "page-extend" "0fn") (associate "math-ord" (macro "x" (with "math-condensed" "true" (arg "x")))) (associate "smash-bottom" (macro "x" (vresize (arg "x") "0ex" ""))) (associate "render-remark" (macro "which" "body" (document (padded-normal "1fn" "1fn" (surround (theorem-name (concat (arg "which") (theorem-sep))) "" (arg "body")))))) (associate "next-figure" (macro (concat (compound "inc-figure") (set-binding (compound "the-figure"))))) (associate "pat-and*" (macro "x" (concat (with "color" "dark magenta" "mode" "math" "<wedge>") (arg "x")))) (associate "new-counter-group" (macro "g" (concat (assign (merge (arg "g") "-group") (tuple)) (new-counter (arg "g")) (group-individual-counters (arg "g"))))) (associate "ind-counter-example" (macro "example-nr")) (associate "counter-appendix" (macro "appendix-nr")) (associate "par-hyphen" "normal") (associate "the-figure" (macro (compound "display-figure" (value (compound "counter-figure"))))) (associate "subsubsection-text" (macro (change-case (localize "subsubsection") "Upcase"))) (associate "exercise-name" (macro "name" (with "font-series" "bold" (arg "name")))) (associate "wide-framed-colored" (macro "border-color" "body-color" "border-width" "hsep" "vsep" "body" (with "old-color" (value "color") "color" (arg "border-color") "wide-framed-color" (arg "body-color") (wide-framed (arg "border-width") (arg "hsep") (arg "vsep") (with "color" (value "old-color") (arg "body")))))) (associate "subsection-nr" "0") (associate "paragraph-sep" (macro (sectional-sep))) (associate "subsubindex" (macro "x" "y" "z" (concat (flag (localize "index") "dark green" "x") (index-write (tuple (arg "x") (arg "y") (arg "z")))))) (associate "gr-mode" "line") (associate "counter-in-theorem-env" (macro "x" (compound "counter-theorem-env"))) (associate "warning*" (macro "body" (document (compound "render-remark" (compound "warning-text") (arg "body"))))) (associate "appendix-nr" "0") (associate "enumerate-Roman" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "Roman")) (arg "body"))))) (associate "by-text" (macro (localize "by"))) (associate "appendix-numbered-title" (macro "title" (compound "appendix-title" (concat (compound "the-appendix") (compound "appendix-sep") (arg "title"))))) (associate "slides-block" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (map "slide" (quote-arg "switch-args"))))))))) (associate "aligned-bracket-item" (macro "x" (aligned-item (concat (arg "x") (with "font-shape" "right" ")"))))) (associate "gr-dash-style" "default") (associate "table-valign" "f") (associate "table-halign" "l") (associate "indent" (macro "body" (with "par-left" (plus (value "par-left") "1.5fn") (arg "body")))) (associate "ind-counter-theorem-env" (macro "theorem-env-nr")) (associate "paragraph-numbered-title" (macro "title" (compound "paragraph-title" (concat (compound "the-paragraph") (compound "paragraph-sep") (arg "title"))))) (associate "page-screen-margin" "true") (associate "counter-in-figure-env" (macro "x" (compound (merge "ind-counter-" (arg "x"))))) (associate "pat-compound*" (macro "x" (concat (with "color" "dark magenta" "mode" "math" "|") (arg "x")))) (associate "table-nr" "0") (associate "par-mode" "justify") (associate "gr-edit-grid-aspect" (tuple (tuple "axes" "#808080") (tuple "1" "#c0c0c0") (tuple "10" "#e0e0ff"))) (associate "author-from-authors*" (macro "x" (concat ", " (arg "x")))) (associate "xoff-decorations" "0tmpt") (associate "the-note" (macro (compound "display-note" (value (compound "counter-note"))))) (associate "example-nr" "0") (associate "display-appendix" (macro "nr" (if (sectional-short-style) (display-section (number (arg "nr") "Alpha")) (display-chapter (number (arg "nr") "Alpha"))))) (associate "blanc-page" (macro (concat (assign "page-this-header" "") (assign "page-this-footer" "")))) (associate "proof" (macro "body" (document (render-proof (proof-text) (arg "body"))))) (associate "start-page" (macro "s" "")) (associate "index-line" (macro "key" "entry" (concat (flag (localize "index") "dark green" "key") (write "idx" (tuple (arg "key") "" (arg "entry")))))) (associate "pat-match" (macro "x" (concat (arg "x") (with "color" "dark magenta" "mode" "math" "?")))) (associate "ind-display-exercise-env" (macro "x" (arg "x"))) (associate "the-auto" (macro (merge "auto-" (value "auto-nr")))) (associate "enumerate-1" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (arg "x")) (arg "body"))))) (associate "ind-counter-table" (macro "table-nr")) (associate "enumerate-2" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "alpha")) (arg "body"))))) (associate "enumerate-3" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "roman")) (arg "body"))))) (associate "flat-size" (macro "x" (with "font-size" "0.917" (arg "x")))) (associate "ind-counter-theorem" (macro "theorem-nr")) (associate "toc-dots" (macro (concat " " (datoms (macro "x" (repeat (arg "x") (with "font-series" "medium" (with "font-size" "1" (concat (space "0.2fn") "." (space "0.2fn")))))) (htab "5mm")) " "))) (associate "font-size" "1") (associate "page-even" "auto") (associate "subsection-display-numbers" (macro "false")) (associate "inc-item" (macro (assign (compound "counter-item") (plus (value (compound "counter-item")) "1")))) (associate "next-part" (macro (concat (compound "inc-part") (set-binding (compound "the-part"))))) (associate "reset-subsection" (macro (assign (compound "counter-subsection") "0"))) (associate "very-tiny" (macro "x" (with "font-size" "0.545" (arg "x")))) (associate "proof-text" (macro (localize "Proof"))) (associate "reset-conjecture" (macro (assign (compound "counter-conjecture") "0"))) (associate "exercise*" (macro "body" (document (compound "render-exercise" (compound "exercise-text") (arg "body"))))) (associate "subsubsection-display-numbers" (macro "false")) (associate "cell-col-span" "1") (associate "sectional-sep" (macro (space "2spc"))) (associate "gr-edit-grid" "") (associate "wide-normal" (macro "body" (surround (no-indent) (htab "0fn" "first") (arg "body")))) (associate "subsection-clean" (macro (reset-subsubsection))) (associate "counter-doc-note" (macro "doc-note-nr")) (associate "subsection*" (macro "title" (concat (assign "subsection-numbered" "false") (assign "subsection-prefix" (macro "")) (compound "subsection-clean") (compound "subsection-header" (arg "title")) (compound "subsection-toc" (arg "title")) (compound "subsection-title" (arg "title"))))) (associate "display-paragraph" (macro "nr" (concat (subsubsection-prefix) (arg "nr")))) (associate "smash" (macro "x" (vresize (arg "x") "0ex" "1ex"))) (associate "table-height" "") (associate "the-chapter" (macro (compound "display-chapter" (value (compound "counter-chapter"))))) (associate "stack" (macro "x" (tformat (twith "table-valign" "C") (cwith "1" "-1" "1" "-1" "cell-halign" "c") (cwith "1" "-1" "1" "1" "cell-lsep" "0spc") (cwith "1" "-1" "-1" "-1" "cell-rsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-bsep" "0.5sep") (cwith "1" "-1" "1" "-1" "cell-tsep" "0.5sep") (cwith "1" "1" "1" "-1" "cell-tsep" "0sep") (cwith "-1" "-1" "1" "-1" "cell-bsep" "0sep") (arg "x")))) (associate "cell-format" (tformat)) (associate "shown" (macro "x" (arg "x"))) (associate "session" (macro "body" (compound (if (provides (merge (value "prog-language") "-session")) (merge (value "prog-language") "-session") "generic-session") (value "prog-language") (arg "body")))) (associate "cell-row-span" "1") (associate "equation-lab" (macro "body" "lab" (document (surround (set-binding (arg "lab")) (concat (space "5mm") (with "mode" "text" "font-shape" "right" (concat "(" (arg "lab") ")"))) (document (equation* (document (arg "body")))))))) (associate "set-this-page-footer" (macro "s" (concat (flag (localize "this page footer") "brown" "s") (assign "page-this-footer" (arg "s"))))) (associate "reset-example" (macro (assign (compound "counter-example") "0"))) (associate "keywords-text" (macro (localize "Keywords"))) (associate "quotation" (macro "body" (document (padded-normal "0.5fn" "0.5fn" (document (indent-both "3fn" "3fn" (document (surround (yes-indent) "" (arg "body"))))))))) (associate "math-op" (macro "x" (concat (with "math-condensed" "true" (arg "x")) (space "1spc")))) (associate "doc-data-hidden" (xmacro "data" (quasi (concat (doc-data-bis (unquote* (quote-arg "data"))) (doc-authors-data-bis (unquote* (select (quote-arg "data") "doc-author-data"))) (doc-running-title (unquote* (select (quote-arg "data") "doc-title" "0"))) (doc-running-title (unquote* (select (quote-arg "data") "doc-running-title" "0"))) (doc-running-author (author-from-authors (unquote* (select (quote-arg "data") "doc-author-data" "author-name" "0")))) (doc-running-author (unquote* (select (quote-arg "data") "doc-running-author" "0"))))))) (associate "mutator" (macro "x" "y" (arg "x"))) (associate "group-individual-counters" (macro "g" (quasi (concat (assign (unquote (merge "display-in-" (arg "g"))) (macro "x" "nr" (compound (unquote (merge "display-" (arg "g"))) (compound (merge "ind-display-" (arg "x")) (arg "nr"))))) (assign (unquote (merge "counter-in-" (arg "g"))) (macro "x" (compound (merge "ind-counter-" (arg "x"))))) (assign (unquote (merge "reset-" (arg "g"))) (macro (concat (assign (compound (unquote (merge "counter-" (arg "x")))) "0") (for-each "reset-counter" (value (unquote (merge (arg "g") "-group"))))))))))) (associate "generic-output*" (macro "body" (with "par-mode" "left" "math-display" "true" (arg "body")))) (associate "inc-axiom" (macro (assign (compound "counter-axiom") (plus (value (compound "counter-axiom")) "1")))) (associate "pat-range" (macro "start" "end" (concat (with "color" "dark magenta" "(") (arg "start") (with "color" "dark magenta" "--") (arg "end") (with "color" "dark magenta" ")")))) (associate "the-proposition" (macro (compound "display-proposition" (value (compound "counter-proposition"))))) (associate "enumerate-3*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "roman")) (arg "body"))))) (associate "wide-framed" (macro "border-width" "hsep" "vsep" "body" (surround (no-indent) "" (tabular (tformat (twith "table-width" "1par") (cwith "1" "1" "1" "1" "cell-width" "1par") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (cwith "1" "1" "1" "1" "cell-lborder" (arg "border-width")) (cwith "1" "1" "1" "1" "cell-rborder" (arg "border-width")) (cwith "1" "1" "1" "1" "cell-tborder" (arg "border-width")) (cwith "1" "1" "1" "1" "cell-bborder" (arg "border-width")) (cwith "1" "1" "1" "1" "cell-lsep" (arg "hsep")) (cwith "1" "1" "1" "1" "cell-rsep" (arg "hsep")) (cwith "1" "1" "1" "1" "cell-tsep" (arg "vsep")) (cwith "1" "1" "1" "1" "cell-bsep" (arg "vsep")) (cwith "1" "1" "1" "1" "cell-background" (value "wide-framed-color")) (table (row (cell (arg "body"))))))))) (associate "exercise" (macro "body" (document (surround (compound "next-exercise") "" (compound "render-exercise" (concat (compound "exercise-text") " " (compound "the-exercise")) (arg "body")))))) (associate "doc-author-data*" (macro "data" (quasi (concat (space "1em") (with "the-author-data" (quote-arg "data") (doc-authors-block (doc-author-main (unquote (quote-arg "data"))))) (space "1em") (line-break))))) (associate "inc-std-env" (macro (assign (compound "counter-std-env") (plus (value (compound "counter-std-env")) "1")))) (associate "math-close" (macro "x" (with "math-condensed" "true" (arg "x")))) (associate "subsubsection-nr" "0") (associate "remark-nr" "0") (associate "verse" (macro "body" (document (padded-normal "0.5fn" "0.5fn" (document (indent-both "4.5fn" "3fn" (document (with "par-first" "-1.5fn" "par-par-sep" "0.fn" (surround (yes-indent) "" (arg "body")))))))))) (associate "glossary-line" (macro "entry" (concat (flag (localize "glossary") "dark green" "entry") (write "gly" (tuple (arg "entry")))))) (associate "part-toc" (macro "name" (toc-main-1 (toc-title "part" (arg "name"))))) (associate "currency" (macro (with "font" "tc" ""))) (associate "the-modules" (tuple)) (associate "header-secondary" (macro "name" "nr" "what" "")) (associate "next-exercise" (macro (concat (compound "inc-exercise") (set-binding (compound "the-exercise"))))) (associate "corollary-nr" "0") (associate "display-doc-note" (macro "x" (arg "x"))) (associate "folded-padded-normal" (macro "a" "b" "body" (surround (vspace* (arg "a")) (concat (htab "0fn" "first") (vspace (arg "b"))) (document (with "padded-normal" (value "default-padded-normal") (document (arg "body"))))))) (associate "the-theorem" (macro (compound "display-theorem" (value (compound "counter-theorem"))))) (associate "fill-color" "none") (associate "folded-std" (macro "x" "y" (document (render-folded-std (action (resize (with "mode" "math" (op "<circ>")) "" "" "r]1.5fn" "") "(mouse-unfold)" (arg "x")) (document (arg "x") (hidden (arg "y"))))))) (associate "switch" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (quote-arg "switch-args")))))))) (associate "reset-definition" (macro (assign (compound "counter-definition") "0"))) (associate "render-exercise" (macro "which" "body" (document (padded-normal "0.5fn" "0.5fn" (document (indent-left "1.5fn" (document (small (document (surround (exercise-name (concat (arg "which") (exercise-sep))) "" (arg "body"))))))))))) (associate "concat-tuple" (macro "args" "sep" "fin" (extern "ext-concat-tuple" (arg "args") (arg "sep") (arg "fin")))) (associate "abstract" (macro "body" (document (with "abstract-note" (look-up (quasi (doc-data-abstract (unquote* (quote-value "the-doc-data")))) "0") (compound (if (equal (get-arity (quote-value "abstract-note")) "0") "doc-abstract" "doc-abstract*") (arg "body") (quote-value "abstract-note")))))) (associate "set-header" (macro "s" (concat (flag (localize "header") "brown" "s") (assign "page-odd-header" (arg "s")) (assign "page-even-header" (arg "s"))))) (associate "author-render-name" (macro "x" (surround (vspace* "0.5fn") (vspace "0.5fn") (doc-author-block (name (arg "x")))))) (associate "next-example" (macro (concat (compound "inc-example") (set-binding (compound "the-example"))))) (associate "inc-exercise" (macro (assign (compound "counter-exercise") (plus (value (compound "counter-exercise")) "1")))) (associate "render-big-script" (macro "lan" "body" (with "color" "grey" (tabular (tformat (cwith "1" "-1" "1" "-1" "cell-lborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-rborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-bborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-tborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-background" "#8080A0") (cwith "2" "2" "1" "1" "cell-background" "pastel yellow") (cwith "1" "1" "1" "1" "cell-vcorrect" "n") (cwith "1" "1" "1" "1" "cell-bsep" "0.15fn") (cwith "1" "1" "1" "1" "cell-tsep" "0.15fn") (cwith "2" "2" "1" "1" "cell-width" "1par") (cwith "2" "2" "1" "1" "cell-hmode" "min") (cwith "2" "2" "1" "1" "cell-hyphen" "t") (cwith "2" "2" "1" "1" "cell-tsep" "0.3fn") (cwith "2" "2" "1" "1" "cell-bsep" "0.3fn") (cwith "1" "1" "1" "1" "cell-halign" "c") (table (row (cell (small (with "mode" "text" "font-family" "ss" (with "color" "white" (change-case (arg "lan") "Upcase")))))) (row (cell (document (with "color" "black" "par-par-sep" "0fn" (arg "body"))))))))))) (associate "subparagraph-clean" (macro "")) (associate "subsubsection-header" (macro "title" "")) (associate "page-height" "auto") (associate "cell-vcorrect" "a") (associate "table-row-origin" "0") (associate "rightflush" (macro (htab "0fn" "first"))) (associate "itemize-1*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" "<bullet>")) (arg "body"))))) (associate "counter-problem" (macro (compound "counter-in-exercise-env" "problem"))) (associate "page-odd-shift" "0mm") (associate "render-bibitem" (macro "text" (compact-item (transform-bibitem (arg "text"))))) (associate "table-col-origin" "0") (associate "appendix-prefix" (macro "")) (associate "doc-abstract" (macro "body" (document (padded-normal "2fn" "1fn" (document (with "par-left" "15mm" "par-right" "15mm" (document (small (document (concat (sectional-centered-bold (abstract-text)) (vspace "0.5fn")) (arg "body")))))))))) (associate "exercise-sep" (macro ". ")) (associate "ind-counter-problem" (macro "problem-nr")) (associate "subsection-numbered-title" (macro "title" (compound "subsection-title" (concat (compound "the-subsection") (compound "subsection-sep") (arg "title"))))) (associate "std-symbol-package" "1.0") (associate "proposition*" (macro "body" (document (compound "render-theorem" (compound "proposition-text") (arg "body"))))) (associate "appendix-toc" (macro "name" (toc-main-2 (concat (appendix-text) (if (appendix-numbered) (concat " " (the-appendix))) (appendix-sep) (arg "name"))))) (associate "header-author" (macro "name" "")) (associate "display-in-std-env" (macro "x" "nr" (compound "display-std-env" (compound (merge "ind-display-" (arg "x")) (arg "nr"))))) (associate "new-exercise" (macro "env" "name" (new-env (arg "env") (arg "name") "exercise-env" "render-exercise"))) (associate "prog-font-family" "tt") (associate "page-orientation" "portrait") (associate "render-theorem" (macro "which" "body" (document (render-remark (arg "which") (with "font-shape" "italic" (arg "body")))))) (associate "cell-hyphen" "n") (associate "std-counter-dtd" "1.0") (associate "generic-errput" (macro "body" (document (wide-normal (document (with "color" "red" (arg "body"))))))) (associate "ind-display-table" (macro "x" (arg "x"))) (associate "counter-proposition" (macro (compound "counter-in-theorem-env" "proposition"))) (associate "doc-author-note-next" (macro (concat (inc-doc-note) (the-doc-note)))) (associate "summarized-grouped" (macro "x" "y" (document (render-folded-grouped (action " " "(mouse-unfold)" (arg "x")) (document (arg "x")))))) (associate "subsubsubindex" (macro "x" "y" "z" "a" (concat (flag (localize "index") "dark green" "x") (index-write (tuple (arg "x") (arg "y") (arg "z") (arg "a")))))) (associate "next-lemma" (macro (concat (compound "inc-lemma") (set-binding (compound "the-lemma"))))) (associate "wide-std-underlined" (macro "body" (wide-underlined "1ln" "1sep" (arg "body")))) (associate "section-generic-package" "1.0") (associate "generic-input" (macro "prompt" "body" (document (tabular (tformat (twith "table-width" "1par") (cwith "1" "1" "2" "2" "cell-hpart" "1") (cwith "1" "1" "1" "1" "cell-lsep" "0fn") (cwith "1" "1" "1" "1" "cell-rsep" "0fn") (cwith "1" "1" "2" "2" "cell-lsep" "0fn") (cwith "1" "1" "2" "2" "cell-rsep" "0fn") (cwith "1" "1" "2" "2" "cell-hyphen" "t") (twith "table-hyphen" "y") (table (row (cell (id-function (arg "prompt"))) (cell (document (with "color" "blue" "math-display" "true" (arg "body"))))))))))) (associate "auto-label" (macro (concat (inc-auto) (label (the-auto))))) (associate "env-base-package" "1.0") (associate "appendix-title" (macro "title" (if (sectional-short-style) (section-title (arg "title")) (chapter-title (arg "title"))))) (associate "simple-page" (macro (concat (assign "page-this-header" "") (assign "page-this-footer" (concat (htab "5mm") (quote (page-the-page)) (htab "5mm")))))) (associate "std-fold-dtd" "1.0") (associate "kbd" (macro "x" (with "font-family" "tt" (arg "x")))) (associate "std-fold-package" "1.0") (associate "display-subsubsection" (macro "nr" (concat (subsection-prefix) (arg "nr")))) (associate "really-small" (macro "x" (with "font-size" "0.648" (arg "x")))) (associate "sectional-normal" (macro "name" (wide-normal (concat (arg "name") (no-page-break) (no-indent*))))) (associate "display-std-env" (macro "x" (arg "x"))) (associate "std-utils-package" "1.0") (associate "generic-output" (macro "body" (document (padded-normal "0.5fn" "0.5fn" (document (indent-left "1.5fn" (document (generic-output* (arg "body"))))))))) (associate "theorem-sep" (macro ". ")) (associate "src-macro" (macro "x" (with "color" "blue" "font-family" "ss" (arg "x")))) (associate "page-even-header" "") (associate "dfn" (macro "x" (with "font-shape" "italic" (arg "x")))) (associate "display-theorem" (macro "nr" (compound "display-in-theorem-env" "theorem" (arg "nr")))) (associate "euro" (macro (with "font" "tcx" ""))) (associate "corollary" (macro "body" (document (surround (compound "next-corollary") "" (compound "render-theorem" (concat (compound "corollary-text") " " (compound "the-corollary")) (arg "body")))))) (associate "render-cite-detail" (macro "x" "y" (render-cite (concat (arg "x") ", " (arg "y"))))) (associate "abbr" (macro "x" (group (arg "x")))) (associate "part" (macro "title" (concat (assign "part-numbered" (compound "part-display-numbers")) (assign "part-prefix" (macro (concat (compound "the-part") "."))) (compound "next-part") (compound "part-clean") (compound "part-header" (arg "title")) (compound "part-toc" (arg "title")) (if (value "part-numbered") (compound "part-numbered-title" (arg "title")) (compound "part-title" (arg "title")))))) (associate "cent" (macro (with "font" "tc" ""))) (associate "math-font" "roman") (associate "font" "roman") (associate "table-text" (macro (localize "Table"))) (associate "section-sep" (macro (sectional-sep))) (associate "glossary-1" (macro "left" "right" (concat (arg "left") (glossary-dots) (no-break) (arg "right")))) (associate "tiny" (macro "x" (with "font-size" "0.595" (arg "x")))) (associate "glossary-2" (macro "entry" "explain" "right" (margin-first-other "0fn" "10fn" (concat (resize (concat (arg "entry") " ") "" "" "r]10fn" "") (arg "explain") (glossary-dots) (no-break) (arg "right"))))) (associate "next-subsection" (macro (concat (compound "inc-subsection") (set-binding (compound "the-subsection"))))) (associate "ind-display-theorem" (macro "x" (arg "x"))) (associate "warning-nr" "0") (associate "subparagraph-header" (macro "title" "")) (associate "par-no-first" "false") (associate "phantom" (macro "x" (if* "false" (arg "x")))) (associate "axiom" (macro "body" (document (surround (compound "next-axiom") "" (compound "render-theorem" (concat (compound "axiom-text") " " (compound "the-axiom")) (arg "body")))))) (associate "bibliography-text" (macro (localize "Bibliography"))) (associate "align" (macro "body" (document (align* (tformat (arg "body")))))) (associate "description-dash*" (macro "body" (document (list* (macro "x" (compact-item (concat (item-strong (arg "x")) " " (emdash) " "))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "set-even-page-header" (macro "s" (concat (flag (localize "even page header") "brown" "s") (assign "page-odd-header" (arg "s"))))) (associate "pat-or" (xmacro "x" (concat (with "color" "dark magenta" "(") (arg "x" "0") (map-args "pat-or*" "concat" "x" "1") (with "color" "dark magenta" ")")))) (associate "sfactor" "5") (associate "unfolded-env" (macro "x" "y" (document (render-folded-env (action (resize (specific "screen" (with "mode" "math" "<bullet>")) "" "" "r]1.5fn" "") "(mouse-fold)" (arg "x")) (document (arg "x") (arg "y")))))) (associate "paragraph-display-numbers" (macro "false")) (associate "convention" (macro "body" (document (surround (compound "next-convention") "" (compound "render-remark" (concat (compound "convention-text") " " (compound "the-convention")) (arg "body")))))) (associate "doc-data-abstract" (xmacro "data" (document (quasi (document (unquote* (select (quote-arg "data") "doc-keywords")) (unquote* (select (quote-arg "data") "doc-AMS-class"))))))) (associate "next-conjecture" (macro (concat (compound "inc-conjecture") (set-binding (compound "the-conjecture"))))) (associate "counter-note" (macro (compound "counter-in-theorem-env" "note"))) (associate "sectional-short" (macro "name" (concat (no-indent) (arg "name")))) (associate "block" (macro "x" (tformat (cwith "1" "-1" "1" "-1" "cell-rborder" "1ln") (cwith "1" "-1" "1" "-1" "cell-bborder" "1ln") (cwith "1" "1" "1" "-1" "cell-tborder" "1ln") (cwith "1" "-1" "1" "1" "cell-lborder" "1ln") (arg "x")))) (associate "binom" (macro "x" "y" (shrink-inline (concat (left "(") (resize (tabular* (tformat (cwith "1" "-1" "1" "1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "1" "cell-rsep" "0spc") (table (row (cell (arg "x"))) (row (cell (arg "y")))))) "" "b+2.5sep" "" "t-2.5sep" "") (right ")"))))) (associate "section-numbered-title" (macro "title" (compound "section-title" (concat (compound "the-section") (compound "section-sep") (arg "title"))))) (associate "counter-auto" (macro "auto-nr")) (associate "std-list-package" "1.0") (associate "author-by" (macro "body" (concat (by-text) " " (arg "body")))) (associate "subsection-header" (macro "name" (if (sectional-short-style) (header-secondary (arg "name") (if (subsection-numbered) (the-subsection)) (section-text))))) (associate "subsection-title" (macro "name" (sectional-normal-bold (concat (vspace* "1fn") (large (arg "name")) (vspace "0.3333fn"))))) (associate "prog-language" "scheme") (associate "section" (macro "title" (concat (assign "section-numbered" (compound "section-display-numbers")) (assign "section-prefix" (macro (concat (compound "the-section") "."))) (compound "next-section") (compound "section-clean") (compound "section-header" (arg "title")) (compound "section-toc" (arg "title")) (if (value "section-numbered") (compound "section-numbered-title" (arg "title")) (compound "section-title" (arg "title")))))) (associate "action" (macro "x" "y" "z" (locus (id (hard-id (arg "x"))) (link "action" (id (hard-id (arg "x"))) (script (arg "y") (arg "z"))) (arg "x")))) (associate "ind-counter-remark" (macro "remark-nr")) (associate "color" "black") (associate "vphantom" (macro "x" (hresize (phantom (arg "x")) "0em" "0em"))) (associate "inc-proposition" (macro (assign (compound "counter-proposition") (plus (value (compound "counter-proposition")) "1")))) (associate "index-3*" (macro "left" (with "par-left" "3fn" (concat (arg "left") (no-page-break))))) (associate "definition-nr" "0") (associate "hphantom" (macro "x" (vresize (phantom (arg "x")) "0ex" "1ex"))) (associate "equation" (macro "body" (document (surround (next-equation) "" (document (equation-lab (document (arg "body")) (the-equation))))))) (associate "header-dtd" "1.0") (associate "math-font-family" "mr") (associate "font-family" "rm") (associate "notation" (macro "body" (document (surround (compound "next-notation") "" (compound "render-theorem" (concat (compound "notation-text") " " (compound "the-notation")) (arg "body")))))) (associate "page-flexibility" "1.0") (associate "bibliography*" (macro "aux" "style" "file-name" "name" "body" (document (render-bibliography (localize (arg "name")) (arg "body"))))) (associate "shrink-inline" (macro "x" (if (equal (value "math-display") "false") (with "math-level" (plus (value "math-level") "1") (arg "x")) (with "math-display" "false" (arg "x"))))) (associate "leqnarray" (macro "body" (document (leqnarray* (tformat (arg "body")))))) (associate "person" (macro "x" (with "font-shape" "small-caps" (arg "x")))) (associate "index-complex" (macro "key" "how" "range" "entry" (concat (flag (localize "index") "dark green" "key") (auto-label) (write "idx" (tuple (arg "key") (arg "how") (arg "range") (arg "entry") (pageref (the-auto))))))) (associate "description-aligned" (macro "body" (document (list (macro "x" (aligned-item (item-strong (concat (arg "x") ".")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "newblock" "") (associate "error" (macro "x" (rewrite-inactive (arg "x") "error"))) (associate "select" (xmacro "x" (extern "ext-select" (arg "x" "0") (quote-arg "x")))) (associate "very-small" (macro "x" (with "font-size" "0.707" (arg "x")))) (associate "hflush" (macro (htab "0fn" "0"))) (associate "src-integer" (macro "x" (with "color" "dark grey" (arg "x")))) (associate "next-equation" (macro (concat (compound "inc-equation") (set-binding (compound "the-equation"))))) (associate "next-table" (macro (concat (compound "inc-table") (set-binding (compound "the-table"))))) (associate "bg-color" "white") (associate "inc-conjecture" (macro (assign (compound "counter-conjecture") (plus (value (compound "counter-conjecture")) "1")))) (associate "gr-color" "default") (associate "script-input" (macro "lan" "session" "in" "out" (compound (if (provides (merge (arg "lan") "-script-input")) (merge (arg "lan") "-script-input") "generic-script-input") (arg "lan") (arg "session") (arg "in") (arg "out")))) (associate "list-caption" (macro "type" "cap" (concat (auto-label) (write (arg "type") (tuple "normal" (arg "cap") (pageref (the-auto))))))) (associate "address-block" (macro "x" (tformat (cwith "1" "-1" "1" "1" "cell-lsep" "1.5fn") (cwith "1" "-1" "-1" "-1" "cell-rsep" "1.5fn") (twith "table-valign" "T") (arg "x")))) (associate "inc-subsection" (macro (assign (compound "counter-subsection") (plus (value (compound "counter-subsection")) "1")))) (associate "font-base-size" "10") (associate "enumerate-level" "0") (associate "doc-data-main" (xmacro "data" (document (quasi (document (unquote* (select (quote-arg "data") "doc-title")) (unquote* (select (quote-arg "data") "doc-subtitle")) (unquote* (select (quote-arg "data") "doc-author-data")) (unquote* (select (quote-arg "data") "doc-date")) (unquote* (select (quote-arg "data") "doc-inactive"))))))) (associate "dash-style-unit" "5ln") (associate "document-block" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (quote-arg "switch-args")))))))) (associate "ind-counter-figure" (macro "figure-nr")) (associate "traversed" (macro "x" (arg "x"))) (associate "env-theorem-dtd" "1.0") (associate "next-definition" (macro (concat (compound "inc-definition") (set-binding (compound "the-definition"))))) (associate "yoff-decorations" "0tmpt") (associate "next-notation" (macro (concat (compound "inc-notation") (set-binding (compound "the-notation"))))) (associate "generic-style" "1.0") (associate "choice" (macro "x" (shrink-inline (concat (left "{") (tformat (arg "x")) (right "."))))) (associate "choose" (macro "x" "y" (shrink-inline (concat (left "(") (resize (tabular* (tformat (cwith "1" "-1" "1" "1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "1" "cell-rsep" "0spc") (table (row (cell (arg "x"))) (row (cell (arg "y")))))) "" "b+2.5sep" "" "t-2.5sep" "") (right ")"))))) (associate "the-conjecture" (macro (compound "display-conjecture" (value (compound "counter-conjecture"))))) (associate "page-top" "auto") (associate "the-subsection" (macro (compound "display-subsection" (value (compound "counter-subsection"))))) (associate "block*" (macro "x" (tformat (cwith "1" "-1" "1" "-1" "cell-rborder" "1ln") (cwith "1" "-1" "1" "-1" "cell-bborder" "1ln") (cwith "1" "1" "0" "0" "cell-tborder" "1ln") (cwith "1" "-1" "1" "1" "cell-lborder" "1ln") (cwith "1" "-1" "1" "-1" "cell-halign" "c") (arg "x")))) (associate "page-bot" "auto") (associate "inc-equation" (macro (assign (compound "counter-equation") (plus (value (compound "counter-equation")) "1")))) (associate "std-pattern-dtd" "1.0") (associate "cite-detail" (macro "x" "y" (render-cite-detail (cite-arg (arg "x")) (arg "y")))) (associate "paragraph-clean" (macro (reset-subparagraph))) (associate "doc-author" (macro "body" (surround (vspace* "1fn") (vspace "1fn") (document (with "par-par-sep" "0fn" (document (doc-title-block (arg "body")))))))) (associate "epilogue-text" (macro (localize "Epilogue"))) (associate "program-package" "1.0") (associate "itemize-level" "0") (associate "remark*" (macro "body" (document (compound "render-remark" (compound "remark-text") (arg "body"))))) (associate "problem-nr" "0") (associate "subparagraph-title" (macro "name" (sectional-short-bold (concat (vspace* "0.25fn") (arg "name") (subparagraph-sep))))) (associate "cell-vmode" "auto") (associate "section-clean" (macro (reset-subsection))) (associate "inc-notation" (macro (assign (compound "counter-notation") (plus (value (compound "counter-notation")) "1")))) (associate "page-even-shift" "0mm") (associate "set-this-page-header" (macro "s" (concat (flag (localize "this page header") "brown" "s") (assign "page-this-header" (arg "s"))))) (associate "par-first" "0fn") (associate "math-language" "texmath") (associate "principal-section" (macro "title" (if (sectional-short-style) (section (arg "title")) (chapter (arg "title"))))) (associate "prologue-text" (macro (localize "Prologue"))) (associate "language" "english") (associate "cell-width" "") (associate "display-problem" (macro "nr" (compound "display-in-exercise-env" "problem" (arg "nr")))) (associate "theorem-text" (macro (localize "Theorem"))) (associate "display-corollary" (macro "nr" (compound "display-in-theorem-env" "corollary" (arg "nr")))) (associate "margin-first-other" (macro "head-indent" "tail-indent" "body" (with "par-left" (plus (arg "tail-indent") "0em") "par-first" (minus (arg "head-indent") (arg "tail-indent")) (surround (yes-indent) "" (arg "body"))))) (associate "itemize-minus" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "-"))) (arg "body"))))) (associate "equations-base" (macro "body" (document (with "mode" "math" "math-display" "true" "par-mode" "center" "par-sep" (eqn-row-sep) (document (surround (concat (no-page-break*) (vspace* (eqn-long-above))) (concat (vspace (eqn-long-below)) (no-indent*)) (arg "body"))))))) (associate "script-output" (macro "lan" "session" "in" "out" (arg "out"))) (associate "plot-group" (macro "text" (resize (small (with "font-shape" "italic" "font-series" "bold" (arg "text"))) "" "b-0.3fn" "" "t+0.3fn" ""))) (associate "cell-decoration" "") (associate "ind-display-problem" (macro "x" (arg "x"))) (associate "eqn-long-above" (macro "0.5fn")) (associate "paragraph-prefix" (macro "")) (associate "gr-line-arrows" "default") (associate "set-even-page-footer" (macro "s" (concat (flag (localize "even page footer") "brown" "s") (assign "page-odd-footer" (arg "s"))))) (associate "counter-chapter" (macro "chapter-nr")) (associate "subsubsection-toc" (macro "name" (toc-normal-3 (toc-title "subsubsection" (arg "name"))))) (associate "large" (macro "x" (with "font-size" "1.189" (arg "x")))) (associate "render-small-figure" (macro "type" "name" "fig" "cap" (tabular* (tformat (cwith "3" "3" "1" "1" "cell-hyphen" "t") (cwith "1" "-1" "1" "-1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-rsep" "0spc") (cwith "2" "2" "1" "1" "cell-height" "0.5fn") (twith "table-valign" "B") (table (row (cell (resize (arg "fig") "l-2fn" "" "r+2fn" "" ""))) (row (cell "")) (row (cell (document (small (surround (concat (figure-name (concat (arg "name") (figure-sep))) (list-caption (arg "type") (arg "cap"))) "" (arg "cap"))))))))))) (associate "next-subparagraph" (macro (concat (compound "inc-subparagraph") (set-binding (compound "the-subparagraph"))))) (associate "math-display" "false") (associate "part*" (macro "title" (concat (assign "part-numbered" "false") (assign "part-prefix" (macro "")) (compound "part-clean") (compound "part-header" (arg "title")) (compound "part-toc" (arg "title")) (compound "part-title" (arg "title"))))) (associate "threesuperior" (macro (with "font" "tc" ""))) (associate "appendix-header" (macro "name" (header-primary (arg "name") (if (appendix-numbered) (the-appendix)) (appendix-text)))) (associate "plot-function" (macro "x" "body" (concat (resize (concat (math (arg "x")) ": ") "" "" "1.5fn" "" "") (plot-input-field "0.666par" (math (arg "body")))))) (associate "author-homepage" (macro "x" (doc-author-block (concat (with "font-shape" "italic" (concat (homepage-text) (localize ":") " ")) (with "font-family" "tt" (arg "x")))))) (associate "gr-grid" "") (associate "std-pattern-package" "1.0") (associate "emdash" (macro (with "font" "roman" ""))) (associate "inc-definition" (macro (assign (compound "counter-definition") (plus (value (compound "counter-definition")) "1")))) (associate "enumerate-roman" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (number (arg "x") "roman")) (arg "body"))))) (associate "the-index*" (macro "aux" "name" "body" (document (render-index (localize (arg "name")) (arg "body"))))) (associate "the-index" (macro "aux" "body" (document (render-index (index-text) (arg "body"))))) (associate "reset-exercise" (macro (assign (compound "counter-exercise") "0"))) (associate "theorem-env-group" (tuple "theorem" "proposition" "lemma" "corollary" "axiom" "definition" "notation" "conjecture" "remark" "example" "note" "warning" "convention")) (associate "the-definition" (macro (compound "display-definition" (value (compound "counter-definition"))))) (associate "par-columns" "1") (associate "doc-data-main*" (xmacro "data" (document (quasi (document (unquote* (select (quote-arg "data") "doc-title")) (unquote* (select (quote-arg "data") "doc-subtitle")) (doc-authors-data (unquote* (select (quote-arg "data") "doc-author-data"))) (unquote* (select (quote-arg "data") "doc-date")) (unquote* (select (quote-arg "data") "doc-inactive"))))))) (associate "compact-strong-dot-item" (macro "x" (compact-item (item-strong (concat (arg "x") ". "))))) (associate "subparagraph-prefix" (macro "")) (associate "the-lemma" (macro (compound "display-lemma" (value (compound "counter-lemma"))))) (associate "session-package" "1.0") (associate "the-exercise" (macro (compound "display-exercise" (value (compound "counter-exercise"))))) (associate "eqsplit*" (macro "body" (document (equations-base (document (tformat (twith "table-hyphen" "y") (twith "table-width" "1par") (twith "table-min-cols" "1") (twith "table-max-cols" "1") (cwith "1" "-1" "1" "-1" "cell-lsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-rsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-bsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-tsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-hpart" "1") (cwith "1" "-1" "1" "-1" "cell-hyphen" "b") (cwith "-1" "-1" "1" "1" "cell-halign" "r") (cwith "2" "-2" "1" "1" "cell-halign" "c") (cwith "1" "1" "1" "1" "cell-halign" "l") (cwith "1" "-1" "1" "-1" "cell-block" "no") (arg "body"))))))) (associate "line-decorations" (dlines)) (associate "counter-theorem" (macro (compound "counter-in-theorem-env" "theorem"))) (associate "the-label" "?") (associate "std-list-dtd" "1.0") (associate "reset-footnote" (macro (assign (compound "counter-footnote") "0"))) (associate "protect" "") (associate "sharp-size" (macro "x" (with "font-size" "1.091" (arg "x")))) (associate "the-item" (macro (transform-item (value (counter-item))))) (associate "very-huge" (macro "x" (with "font-size" "1.834" (arg "x")))) (associate "author-note" (macro "x" (document (arg "x")))) (associate "indent-both" (macro "l" "r" "body" (document (with "par-left" (plus (value "par-left") (arg "l")) "par-right" (plus (value "par-right") (arg "r")) (document (arg "body")))))) (associate "page-fnote-barlen" "7.5fn") (associate "subsection-prefix" (macro "")) (associate "toc-main-1" (macro "what" (toc-entry "toc-strong-1" (arg "what")))) (associate "fold-back" (macro "x" (arg "x"))) (associate "script-eval" (macro "in" (render-eval-script (value "prog-scripts") (script-aux-3 (value "prog-scripts") (arg "in"))))) (associate "toc-main-2" (macro "what" (toc-entry "toc-strong-2" (arg "what")))) (associate "plot-input-field" (macro "size" "body" (with "color" "grey" (tabular (tformat (cwith "1" "1" "1" "1" "cell-background" "white") (cwith "1" "1" "1" "1" "cell-lborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-rborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-bborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-tborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-width" (arg "size")) (cwith "1" "1" "1" "1" "cell-hyphen" "t") (table (row (cell (with "color" "black" (arg "body")))))))))) (associate "enumerate*" (macro "body" (document (with "enumerate-level" (plus (mod (value "enumerate-level") "3") "1") (document (compound (merge "enumerate-" (value "enumerate-level") "*") (arg "body"))))))) (associate "style-only" (macro "x" (arg "x"))) (associate "render-list" (macro "body" (document (padded-normal "0.5fn" "0.5fn" (document (indent-left "3fn" (document (surround (no-page-break*) (no-indent*) (arg "body"))))))))) (associate "line-caps" "normal") (associate "inc-part" (macro (assign (compound "counter-part") (plus (value (compound "counter-part")) "1")))) (associate "hide-part" (macro "id" "active" "inactive" (document (hidden (if (sectional-short-style) (arg "active") (arg "inactive")))))) (associate "the-footnote" (macro (compound "display-footnote" (value (compound "counter-footnote"))))) (associate "aligned-item" (macro "x" (concat (vspace* "0.5fn") (with "par-first" "-3fn" (yes-indent)) (resize (arg "x") "r-2.5fn" "" "r+0.5fn" "")))) (associate "page-mnote-width" "15mm") (associate "std-env-nr" "0") (associate "part-numbered-title" (macro "title" (compound "part-title" (concat (compound "the-part") (compound "part-sep") (arg "title"))))) (associate "doc-title-note" (macro "body" (quasi (doc-footnote (unquote (quote-arg "body")))))) (associate "subsection-sep" (macro (sectional-sep))) (associate "inc-convention" (macro (assign (compound "counter-convention") (plus (value (compound "counter-convention")) "1")))) (associate "identity" (macro "x" (arg "x"))) (associate "display-definition" (macro "nr" (compound "display-in-theorem-env" "definition" (arg "nr")))) (associate "src-tt" (macro "x" (with "color" "#224" "font-family" "tt" (arg "x")))) (associate "notation-nr" "0") (associate "slide" (macro "body" (document (surround "" (concat (right-flush) (new-page)) (document (arg "body")))))) (associate "eqn-ver-sep" (macro "0.6fn")) (associate "cell-col-nr" "1") (associate "cell-row-nr" "1") (associate "small" (macro "x" (with "font-size" "0.841" (arg "x")))) (associate "the-convention" (macro (compound "display-convention" (value (compound "counter-convention"))))) (associate "ind-counter-equation" (macro "equation-nr")) (associate "ind-display-corollary" (macro "x" (arg "x"))) (associate "reset-figure-env" (macro (concat (assign (compound (error "bad merge")) "0") (for-each "reset-counter" (value "figure-env-group"))))) (associate "conjecture*" (macro "body" (document (compound "render-theorem" (compound "conjecture-text") (arg "body"))))) (associate "big-figure*" (macro "body" "caption" (document (render-big-figure "figure" (compound "figure-text") (arg "body") (arg "caption"))))) (associate "compact-space-item" (macro "x" (compact-item (concat (arg "x") "  ")))) (associate "ind-counter-notation" (macro "notation-nr")) (associate "inc-section" (macro (assign (compound "counter-section") (plus (value (compound "counter-section")) "1")))) (associate "pat-quote" (macro "x" (with "color" "magenta" "font-shape" "italic" (arg "x")))) (associate "subparagraph-toc" (macro "name" (toc-small-2 (toc-title "subparagraph" (arg "name"))))) (associate "with-TeXmacs-text" (macro (concat "This document has been written using the GNU " (TeXmacs) " text editor (see " (hlink (with "font-family" "tt" "www.texmacs.org") "http://www.texmacs.org") ")."))) (associate "src-package" (macro "x" "y" (concat (assign (merge (arg "x") "-package") (arg "y")) (assign (merge (arg "x") "-dtd") (arg "y"))))) (associate "display-in-theorem-env" (macro "x" "nr" (compound "display-theorem-env" (arg "nr")))) (associate "reset-axiom" (macro (assign (compound "counter-axiom") "0"))) (associate "reset-chapter" (macro (assign (compound "counter-chapter") "0"))) (associate "ind-display-lemma" (macro "x" (arg "x"))) (associate "reference" (macro "x" (locus (id (hard-id (arg "x"))) (link "hyperlink" (id (hard-id (arg "x"))) (url (merge "#" (arg "x")))) (get-binding (arg "x"))))) (associate "src-close" "compact") (associate "std-graphics-package" "1.0") (associate "env-dtd" "1.0") (associate "par-right" "0cm") (associate "compact-strong-space-item" (macro "x" (compact-item (item-strong (concat (arg "x") "  "))))) (associate "new-theorem" (macro "env" "name" (new-env (arg "env") (arg "name") "theorem-env" "render-theorem"))) (associate "section-base-dtd" "1.0") (associate "wide-std-framed-colored" (macro "border-color" "body-color" "body" (wide-framed-colored (arg "border-color") (arg "body-color") "1ln" "1spc" "1sep" (arg "body")))) (associate "render-index" (macro "name" "body" (document (with "par-par-sep" "-0.5fn" (document (principal-section* (arg "name")) "")) (with "par-first" "0fn" "par-par-sep" "0fn" "font-size" "0.84" "par-columns" "2" (arg "body"))))) (associate "the-std-env" (macro (compound "display-std-env" (value (compound "counter-std-env"))))) (associate "locus-color" "global") (associate "subsubsection-clean" (macro (reset-paragraph))) (associate "footnote" (macro "body" (concat (next-footnote) (render-footnote (the-footnote) (arg "body")) (space "0spc") (label (merge "footnr-" (the-footnote))) (rsup (reference (merge "footnote-" (the-footnote))))))) (associate "doc-running-author" (macro "body" (if (unequal (arg "body") (uninit)) (header-author (arg "body"))))) (associate "enumerate-numeric" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (arg "x")) (arg "body"))))) (associate "counter-conjecture" (macro (compound "counter-in-theorem-env" "conjecture"))) (associate "counter-exercise" (macro (compound "counter-in-exercise-env" "exercise"))) (associate "new-remark" (macro "env" "name" (new-env (arg "env") (arg "name") "theorem-env" "render-remark"))) (associate "eqn-row-sep" (macro "0.45fn")) (associate "doc-author-data" (xmacro "data" (document (quasi (document (with "the-author-data" (quote-arg "data") (document (doc-author (document (doc-author-block (doc-author-main (unquote (quote-arg "data"))))))))))))) (associate "sectional-short-italic" (macro "name" (sectional-short (with "font-shape" "italic" (arg "name"))))) (associate "atom-decorations" (datoms)) (associate "src-error" (macro "x" (with "color" "red" (arg "x")))) (associate "doc-author-note" (macro "body" (quasi (doc-footnote (unquote (quote-arg "body")))))) (associate "reset-theorem" (macro (assign (compound "counter-theorem") "0"))) (associate "next-theorem-env" (macro (concat (compound "inc-theorem-env") (set-binding (compound "the-theorem-env"))))) (associate "page-medium" "papyrus") (associate "converter-input" (macro "format" "in" "out" (compound (if (equal (get-label (arg "in")) "document") "render-big-script" "render-small-script") (arg "format") (with "mode" "prog" "prog-language" "verbatim" (arg "in"))))) (associate "doc-subtitle" (macro "x" (surround (vspace* "0.25fn") (vspace "0.5fn") (document (doc-title-block (font-magnify "1.297" (with "math-font-series" "bold" "font-series" "bold" (arg "x")))))))) (associate "next-footnote" (macro (concat (compound "inc-footnote") (set-binding (compound "the-footnote"))))) (associate "counter-subsection" (macro "subsection-nr")) (associate "next-chapter" (macro (concat (compound "inc-chapter") (set-binding (compound "the-chapter"))))) (associate "doc-footnote" (macro "body" (if (unequal (get-arity (quote-arg "body")) "0") (quasi (render-footnote (unquote (doc-author-note-next)) (concat (arg "body" "0") (map-args "doc-footnote-sub" "concat" "body" "1"))))))) (associate "itemize-2*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "<circ>"))) (arg "body"))))) (associate "problem-text" (macro (localize "Problem"))) (associate "render-footnote" (macro "nr" "body" (float "footnote" "" (document (smaller (with "par-mode" "justify" "par-left" "0cm" "par-right" "0cm" (surround (concat (locus (id (hard-id (arg "body"))) (link "hyperlink" (id (hard-id (arg "body"))) (url (merge "#footnr-" (arg "nr")))) (arg "nr")) (footnote-sep)) (concat (set-binding (merge "footnote-" (arg "nr")) (value "the-label") "body") (right-flush)) (arg "body")))))))) (associate "paragraph-text" (macro (change-case (localize "paragraph") "Upcase"))) (associate "description-long" (macro "body" (document (list (macro "x" (item-long (concat (no-indent) (move (item-strong (concat (arg "x") ".")) "-1.5fn" "0fn")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "par-width" "auto") (associate "ind-display-proposition" (macro "x" (arg "x"))) (associate "chapter-display-numbers" (macro "false")) (associate "chapter-clean" (macro (reset-section))) (associate "inc-footnote" (macro (assign (compound "counter-footnote") (plus (value (compound "counter-footnote")) "1")))) (associate "corollary*" (macro "body" (document (compound "render-theorem" (compound "corollary-text") (arg "body"))))) (associate "ind-counter-note" (macro "note-nr")) (associate "indent-right" (macro "r" "body" (document (with "par-right" (plus (value "par-right") (arg "r")) (document (arg "body")))))) (associate "render-folded-env" (macro "button" "body" (document (surround (with "par-first" "-1.5fn" (concat (yes-indent) (arg "button"))) (right-flush) (document (with "default-padded-normal" (value "padded-normal") "padded-normal" (value "folded-padded-normal") (document (arg "body")))))))) (associate "wide-std-bothlined" (macro "body" (wide-bothlined "1ln" "1ln" "1sep" "1sep" (arg "body")))) (associate "footnote-sep" (macro ". ")) (associate "small-figure*" (macro "body" "caption" (render-small-figure "figure" (compound "figure-text") (arg "body") (arg "caption")))) (associate "enumerate-Alpha" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") (with "font-shape" "right" ")")))) (macro "x" (number (arg "x") "Alpha")) (arg "body"))))) (associate "cell-background" "") (associate "page-odd-header" "") (associate "new-figure" (macro "env" "name" (quasi (concat (add-to-counter-group (unquote (arg "env")) "figure-env") (assign (unquote (merge (arg "env") "-text")) (macro (localize (unquote (arg "name"))))) (assign (unquote (merge "small-" (arg "env"))) (macro "body" "caption" (concat (compound (unquote (merge "next-" (arg "env")))) (render-small-figure (unquote (arg "env")) (concat (compound (unquote (merge (arg "env") "-text"))) " " (compound (unquote (merge "the-" (arg "env"))))) (arg "body") (arg "caption"))))) (assign (unquote (merge "small-" (arg "env") "*")) (macro "body" "caption" (render-small-figure (unquote (arg "env")) (compound (unquote (merge (arg "env") "-text"))) (arg "body") (arg "caption")))) (assign (unquote (merge "big-" (arg "env"))) (macro "body" "caption" (document (surround (compound (unquote (merge "next-" (arg "env")))) "" (render-big-figure (unquote (arg "env")) (concat (compound (unquote (merge (arg "env") "-text"))) " " (compound (unquote (merge "the-" (arg "env"))))) (arg "body") (arg "caption")))))) (assign (unquote (merge "big-" (arg "env") "*")) (macro "body" "caption" (document (render-big-figure (unquote (arg "env")) (compound (unquote (merge (arg "env") "-text"))) (arg "body") (arg "caption"))))))))) (associate "ind-counter-conjecture" (macro "conjecture-nr")) (associate "display-exercise" (macro "nr" (compound "display-in-exercise-env" "exercise" (arg "nr")))) (associate "smash-top" (macro "x" (vresize (arg "x") "" "1ex"))) (associate "counter-warning" (macro (compound "counter-in-theorem-env" "warning"))) (associate "header-primary" (macro "name" "nr" "what" "")) (associate "cell-hpart" "") (associate "gr-grid-aspect" (tuple (tuple "axes" "#808080") (tuple "1" "#c0c0c0") (tuple "10" "#e0e0ff"))) (associate "counter-corollary" (macro (compound "counter-in-theorem-env" "corollary"))) (associate "ind-counter-warning" (macro "warning-nr")) (associate "default-padded-normal" (macro "a" "b" "body" (surround (concat (vspace* (arg "a")) (no-indent)) (concat (htab "0fn" "first") (vspace (arg "b"))) (arg "body")))) (associate "next-theorem" (macro (concat (compound "inc-theorem") (set-binding (compound "the-theorem"))))) (associate "doc-keywords" (xmacro "args" (concat (no-indent) (theorem-name (concat (keywords-text) (localize ":") " ")) (concat-tuple (copy (quote-arg "args")) ", ")))) (associate "made-by-TeXmacs" (macro (float "footnote" "" (with "font-size" "0.84" "par-mode" "justify" "par-left" "0cm" "par-right" "0cm" (concat (move (postscript "local:$TEXMACS_PATH/misc/images/tm_gnu3.ps" "" "1fn" "" "" "" "") "0fn" "-0.2fn") (space "2spc") (localize "This document has been produced using") " GNU " (TeXmacs) " (" (localize "see") " " (with "font-family" "tt" "http://www.texmacs.org") ")." (right-flush)))))) (associate "generic-textput" (macro "body" (document (wide-normal (document (arg "body")))))) (associate "reset-convention" (macro (assign (compound "counter-convention") "0"))) (associate "detailed-plain" (macro "x" "y" (document (surround "" (right-flush) (document (arg "y")))))) (associate "summarized-env" (macro "x" "y" (document (render-folded-env (action (resize (specific "screen" (with "mode" "math" (op "<circ>"))) "" "" "r]1.5fn" "") "(mouse-unfold)" (arg "x")) (document (arg "x")))))) (associate "counter-definition" (macro (compound "counter-in-theorem-env" "definition"))) (associate "display-section" (macro "nr" (if (sectional-short-style) (arg "nr") (concat (chapter-prefix) (arg "nr"))))) (associate "enumerate-numeric*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (arg "x")) (arg "body"))))) (associate "sectional-short-style" (macro "true")) (associate "reset-subsubsection" (macro (assign (compound "counter-subsubsection") "0"))) (associate "itemize-arrow" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "<rightarrow>"))) (arg "body"))))) (associate "counter-subsubsection" (macro "subsubsection-nr")) (associate "src-compact" "normal") (associate "reset-note" (macro (assign (compound "counter-note") "0"))) (associate "item-long" (macro "name" (concat (arg "name") (next-line)))) (associate "huge" (macro "x" (with "font-size" "1.682" (arg "x")))) (associate "program-dtd" "1.0") (associate "reset-auto" (macro (assign (compound "counter-auto") "0"))) (associate "text-at-halign" "left") (associate "text-at-valign" "base") (associate "gr-fill-color" "default") (associate "ind-display-conjecture" (macro "x" (arg "x"))) (associate "aligned-dot-item" (macro "x" (aligned-item (concat (arg "x") ".")))) (associate "prog-font-series" "medium") (associate "page-height-margin" "false") (associate "wide-bothlined" (macro "top-border" "bot-border" "top-sep" "bot-sep" "body" (surround (no-indent) "" (tabular (tformat (twith "table-width" "1par") (cwith "1" "1" "1" "1" "cell-width" "1par") (cwith "1" "1" "1" "1" "cell-lsep" "0pt") (cwith "1" "1" "1" "1" "cell-rsep" "0pt") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (cwith "1" "1" "1" "1" "cell-tborder" (arg "top-border")) (cwith "1" "1" "1" "1" "cell-bborder" (arg "bot-border")) (cwith "1" "1" "1" "1" "cell-tsep" (arg "top-sep")) (cwith "1" "1" "1" "1" "cell-bsep" (arg "bot-sep")) (table (row (cell (arg "body"))))))))) (associate "op" (macro "x" (with "math-condensed" "true" (arg "x")))) (associate "generic-script-input" (macro "lan" "session" "in" "out" (compound (if (equal (get-label (arg "in")) "document") "render-big-script" "render-small-script") (arg "lan") (script-aux-3 (arg "lan") (arg "in"))))) (associate "<cdot>" (uninit)) (associate "info-flag" "short") (associate "wiki-link" (macro "body" "name" (action (arg "body") (merge "(remote-project-load-by-name \\\"" (arg "name") "\\\")")))) (associate "counter-subparagraph" (macro "subparagraph-nr")) (associate "nbsp" (macro (concat " " (no-break) (specific "screen" (resize (move (with "color" "#A0A0FF" "-") "-0.3em" "") "0em" "" "0em" "" ""))))) (associate "table-tsep" "0fn") (associate "table-bsep" "0fn") (associate "table-rsep" "0fn") (associate "table-lsep" "0fn") (associate "eqnarray*" (macro "body" (document (equations-base (document (tformat (twith "table-hyphen" "y") (twith "table-width" "1par") (twith "table-min-cols" "3") (twith "table-max-cols" "3") (cwith "1" "-1" "1" "1" "cell-lsep" "0spc") (cwith "1" "-1" "-1" "-1" "cell-rsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-bsep" "0sep") (cwith "1" "-1" "1" "-1" "cell-tsep" "0sep") (cwith "1" "-1" "1" "1" "cell-hpart" "1") (cwith "1" "-1" "-1" "-1" "cell-hpart" "1") (cwith "1" "-1" "1" "1" "cell-halign" "r") (cwith "1" "-1" "1" "1" "cell-hyphen" "b") (cwith "1" "-1" "2" "-2" "cell-halign" "c") (cwith "1" "-1" "-1" "-1" "cell-halign" "l") (cwith "1" "-1" "-1" "-1" "cell-hyphen" "t") (cwith "1" "-1" "1" "-1" "cell-block" "no") (arg "body"))))))) (associate "leqnarray*" (macro "body" (document (equations-base (document (tformat (twith "table-hyphen" "y") (twith "table-width" "1par") (twith "table-min-cols" "3") (twith "table-max-cols" "3") (cwith "1" "-1" "1" "1" "cell-lsep" "0spc") (cwith "1" "-1" "-1" "-1" "cell-rsep" "0spc") (cwith "1" "-1" "1" "-1" "cell-bsep" "0sep") (cwith "1" "-1" "1" "-1" "cell-tsep" "0sep") (cwith "1" "-1" "-1" "-1" "cell-hpart" "1") (cwith "1" "-1" "1" "1" "cell-halign" "r") (cwith "1" "-1" "2" "-2" "cell-halign" "c") (cwith "1" "-1" "-1" "-1" "cell-halign" "l") (cwith "1" "-1" "1" "1" "cell-width" "1.5fn") (cwith "1" "-1" "2" "2" "cell-width" "1fn") (cwith "1" "-1" "-1" "-1" "cell-hyphen" "t") (cwith "1" "-1" "1" "-1" "cell-block" "no") (arg "body"))))))) (associate "list" (macro "item-render" "item-transform" "body" (document (with "current-item" (arg "item-render") "transform-item" (arg "item-transform") "item-nr" "0" (document (render-list (arg "body"))))))) (associate "math-vpos" "0") (associate "plot" (macro "name" "body" (render-big-script (arg "name") (arg "body")))) (associate "the-problem" (macro (compound "display-problem" (value (compound "counter-problem"))))) (associate "example" (macro "body" (document (surround (compound "next-example") "" (compound "render-remark" (concat (compound "example-text") " " (compound "the-example")) (arg "body")))))) (associate "aligned-strong-dot-item" (macro "x" (aligned-item (item-strong (concat (arg "x") "."))))) (associate "cite-arg-extra" (macro "x" (concat ", " (cite-arg (arg "x"))))) (associate "math-condensed" "false") (associate "transform-item" (macro "x" (with "mode" "math" "" "" "<cdot>" "" (with "math-font-series" "bold" (group "<ast>"))))) (associate "subparagraph-numbered-title" (macro "title" (compound "subparagraph-title" (concat (compound "the-subparagraph") (compound "subparagraph-sep") (arg "title"))))) (associate "set-footer" (macro "s" (concat (flag (localize "footer") "brown" "s") (assign "page-odd-footer" (arg "s")) (assign "page-even-footer" (arg "s"))))) (associate "padded-bothlined" (macro "a" "b" "top-border" "bot-border" "top-sep" "bot-sep" "body" (surround (vspace* (arg "a")) (vspace (arg "b")) (wide-bothlined (arg "top-border") (arg "bot-border") (arg "top-sep") (arg "bot-sep") (arg "body"))))) (associate "display-note" (macro "nr" (compound "display-in-theorem-env" "note" (arg "nr")))) (associate "even-page-text" (macro "s" "")) (associate "inc-warning" (macro (assign (compound "counter-warning") (plus (value (compound "counter-warning")) "1")))) (associate "counter-item" (macro "item-nr")) (associate "display-remark" (macro "nr" (compound "display-in-theorem-env" "remark" (arg "nr")))) (associate "display-auto" (macro "x" (arg "x"))) (associate "odd-page-text" (macro "s" "")) (associate "chapter-text" (macro (change-case (localize "chapter") "Upcase"))) (associate "chapter-numbered-title" (macro "title" (compound "chapter-title" (concat (compound "the-chapter") (compound "chapter-sep") (arg "title"))))) (associate "preamble" "false") (associate "math-punct" (macro "x" (with "math-condensed" "true" (arg "x")))) (associate "std-math-dtd" "1.0") (associate "std-dtd" "1.0") (associate "next-figure-env" (macro (concat (compound "inc-figure-env") (set-binding (compound "the-figure-env"))))) (associate "chapter-toc" (macro "name" (if (sectional-short-style) (toc-main-1 (toc-title "chapter" (arg "name"))) (toc-main-2 (toc-title "chapter" (arg "name")))))) (associate "index-4*" (macro "left" (with "par-left" "4.5fn" (concat (arg "left") (no-page-break))))) (associate "dueto" (macro "name" (with "font-shape" "right" (theorem-name (concat "(" (arg "name") ") "))))) (associate "onequarter" (macro (with "font" "tc" ""))) (associate "onehalf" (macro (with "font" "tc" ""))) (associate "summarized" (macro "x" "y" (document (render-folded-env (action (resize (specific "screen" (with "mode" "math" (op "<circ>"))) "" "" "r]1.5fn" "") "(mouse-unfold)" (arg "x")) (document (arg "x")))))) (associate "doc-note-nr" "0") (associate "doc-authors" (macro "body" (document (doc-author (document (font-magnify "0.917" (arg "body"))))))) (associate "display-exercise-env" (macro "nr" (compound "display-in-std-env" "exercise-env" (arg "nr")))) (associate "display-figure" (macro "nr" (compound "display-in-figure-env" "figure" (arg "nr")))) (associate "font-shape" "right") (associate "plot-curve" (macro "fun-f" "start-x" "end-x" (plot (localize "Plot curve") (document (plot-group (localize "Function")) (plot-function "f" (arg "fun-f")) (plot-group (localize "Range")) (plot-range "x" (arg "start-x") (arg "end-x")))))) (associate "subsubsection-prefix" (macro "")) (associate "ind-display-definition" (macro "x" (arg "x"))) (associate "registered" (macro (with "font" "tcx" ""))) (associate "title-base-package" "1.0") (associate "page-odd" "auto") (associate "std-automatic-package" "1.0") (associate "page-show-hf" "false") (associate "counter-equation" (macro (compound "counter-in-std-env" "equation"))) (associate "homepage-text" (macro (localize "Web"))) (associate "bibliography" (macro "aux" "style" "file-name" "body" (document (render-bibliography (bibliography-text) (arg "body"))))) (associate "subsubsection-title" (macro "name" (sectional-normal-bold (concat (vspace* "0.75fn") (arg "name") (vspace "0.25fn"))))) (associate "show-preamble" (macro "body" (document (with "mode" "src" "preamble" "true" "par-first" "0fn" "par-par-sep" "0.5fn" (arg "body"))))) (associate "part-display-numbers" (macro "false")) (associate "counter-in-std-env" (macro "x" (compound (merge "ind-counter-" (arg "x"))))) (associate "thebibliography" (macro "largest" "body" (document (render-bibliography (bibliography-text) (bib-list (arg "largest") (arg "body")))))) (associate "trademark" (macro (with "font" "tcx" ""))) (associate "hrule" (macro (concat (no-indent) (tabular (tformat (cwith "1" "-1" "1" "-1" "cell-tborder" "1ln") (twith "table-width" "1par") (cwith "1" "-1" "1" "-1" "cell-vmode" "exact") (cwith "1" "-1" "1" "-1" "cell-height" "1ln") (cwith "1" "-1" "1" "-1" "cell-lsep" "0fn") (cwith "1" "-1" "1" "-1" "cell-rsep" "0fn") (cwith "1" "-1" "1" "-1" "cell-bsep" "0fn") (cwith "1" "-1" "1" "-1" "cell-tsep" "0fn") (cwith "1" "-1" "1" "-1" "cell-vcorrect" "n") (table (row (cell (space "1fn" "0ln" "1ln"))))))))) (associate "table-of-contents" (macro "aux" "body" (document (render-table-of-contents (table-of-contents-text) (arg "body"))))) (associate "ind-counter-lemma" (macro "lemma-nr")) (associate "resetstdenv" (macro (reset-std-env))) (associate "list*" (macro "item-render" "item-transform" "body" (document (list (arg "item-render") (quasiquote (macro "x" (concat (unquote (value "last-item")) "." (compound (unquote (arg "item-transform")) (arg "x"))))) (arg "body"))))) (associate "leq-number" (macro (concat (next-number) (htab "5mm")))) (associate "req-number" (macro (concat (htab "5mm") (next-number)))) (associate "eq-number" (macro (concat (htab "5mm") (next-number)))) (associate "sectional-normal-bold" (macro "name" (sectional-normal (with "math-font-series" "bold" "font-series" "bold" (arg "name"))))) (associate "math-font-series" "medium") (associate "font-series" "medium") (associate "ind-counter-exercise-env" (macro "exercise-env-nr")) (associate "counter-notation" (macro (compound "counter-in-theorem-env" "notation"))) (associate "hide-preamble" (macro "body" (document (hidden (arg "body"))))) (associate "doc-authors-block" (macro "body" (document (concat (space "0pt") (tabular* (tformat (twith "table-valign" "T") (cwith "1" "1" "1" "1" "cell-lsep" "0spc") (cwith "1" "1" "1" "1" "cell-rsep" "0spc") (cwith "1" "1" "1" "1" "cell-bsep" "0.75fn") (cwith "1" "1" "1" "1" "cell-tsep" "0.75fn") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (cwith "1" "1" "1" "1" "cell-hmode" "min") (cwith "1" "1" "1" "1" "cell-width" "1par") (table (row (cell (document (with "par-mode" "center" (document (arg "body"))))))))))))) (associate "small-table*" (macro "body" "caption" (render-small-figure "table" (compound "table-text") (arg "body") (arg "caption")))) (associate "env-base-dtd" "1.0") (associate "inc-figure-env" (macro (assign (compound "counter-figure-env") (plus (value (compound "counter-figure-env")) "1")))) (associate "theorem-name" (macro "name" (with "font-series" "bold" (arg "name")))) (associate "toc-entry" (macro "type" "what" (quasi (concat (flag (localize "table of contents") "dark green" "what") (auto-label) (write "toc" (compound (unquote (arg "type")) (arg "what") (pageref (the-auto)))))))) (associate "paragraph" (macro "title" (concat (assign "paragraph-numbered" (compound "paragraph-display-numbers")) (assign "paragraph-prefix" (macro (concat (compound "the-paragraph") "."))) (compound "next-paragraph") (compound "paragraph-clean") (compound "paragraph-header" (arg "title")) (compound "paragraph-toc" (arg "title")) (if (value "paragraph-numbered") (compound "paragraph-numbered-title" (arg "title")) (compound "paragraph-title" (arg "title")))))) (associate "page-even-footer" (concat (htab "5mm") (page-the-page) (htab "5mm"))) (associate "detailed-env" (macro "x" "y" (document (render-folded-env (action (resize (specific "screen" (with "mode" "math" "<bullet>")) "" "" "r]1.5fn" "") "(mouse-fold)" (arg "x")) (document (arg "y")))))) (associate "display-table" (macro "nr" (compound "display-in-figure-env" "table" (arg "nr")))) (associate "ind-counter-proposition" (macro "proposition-nr")) (associate "the-figure-env" (macro (compound "display-figure-env" (value (compound "counter-figure-env"))))) (associate "LaTeX" (macro (concat "L" (rsup (concat (space "-0.8spc") (move "A" "0fn" "-0.1fn"))) (space "-0.2spc") "T" (rsub (concat (space "-0.4spc") (move (resize (with "math-level" "0" "E") "" "" "" "0.5fn" "") "0fn" "-0.1fn"))) (space "-0.4spc") "X"))) (associate "chapter-title" (macro "name" (sectional-normal-bold (concat (vspace* "2fn") (huge (arg "name")) (vspace "1fn"))))) (associate "header-title" (macro "name" "")) (associate "display-equation" (macro "nr" (compound "display-in-std-env" "equation" (arg "nr")))) (associate "display-subsection" (macro "nr" (concat (section-prefix) (arg "nr")))) (associate "paragraph-toc" (macro "name" (toc-small-1 (toc-title "paragraph" (arg "name"))))) (associate "paragraph-nr" "0") (associate "ordfeminine" (rsup (wide* "a" "<wide-bar>"))) (associate "display-conjecture" (macro "nr" (compound "display-in-theorem-env" "conjecture" (arg "nr")))) (associate "subparagraph-nr" "0") (associate "example*" (macro "body" (document (compound "render-remark" (compound "example-text") (arg "body"))))) (associate "itemize*" (macro "body" (document (with "itemize-level" (plus (mod (value "itemize-level") "3") "1") (document (compound (merge "itemize-" (value "itemize-level") "*") (arg "body"))))))) (associate "paragraphsign" (macro (with "font" "tc" ""))) (associate "display-notation" (macro "nr" (compound "display-in-theorem-env" "notation" (arg "nr")))) (associate "reset-proposition" (macro (assign (compound "counter-proposition") "0"))) (associate "prog-session" "default") (associate "display-warning" (macro "nr" (compound "display-in-theorem-env" "warning" (arg "nr")))) (associate "display-proposition" (macro "nr" (compound "display-in-theorem-env" "proposition" (arg "nr")))) (associate "inc-subparagraph" (macro (assign (compound "counter-subparagraph") (plus (value (compound "counter-subparagraph")) "1")))) (associate "eqn-long-below" (macro "0.5fn")) (associate "summarized-plain" (macro "x" "y" (document (surround "" (right-flush) (document (arg "x")))))) (associate "counter-table" (macro (compound "counter-in-figure-env" "table"))) (associate "next-convention" (macro (concat (compound "inc-convention") (set-binding (compound "the-convention"))))) (associate "env-math-dtd" "1.0") (associate "theorem*" (macro "body" (document (compound "render-theorem" (compound "theorem-text") (arg "body"))))) (associate "ind-display-warning" (macro "x" (arg "x"))) (associate "par-columns-sep" "2fn") (associate "description-compact*" (macro "body" (document (list* (macro "x" (compact-item (item-strong (concat (arg "x") ". ")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "unroll" (xmacro "switch-args" (document (surround "" (right-flush) (quasi (document (unquote* (quote-arg "switch-args")))))))) (associate "render-eval-script" (macro "lan" "body" (with "color" "grey" (tabular (tformat (cwith "1" "-1" "1" "-1" "cell-lborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-rborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-bborder" "0.5ln") (cwith "1" "-1" "1" "-1" "cell-tborder" "0.5ln") (cwith "1" "1" "1" "1" "cell-background" "pastel yellow") (cwith "1" "1" "1" "1" "cell-width" "1par") (cwith "1" "1" "1" "1" "cell-hmode" "min") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (table (row (cell (document (with "color" "black" "par-par-sep" "0fn" (arg "body"))))))))))) (associate "appendix-clean" (macro (if (sectional-short-style) (concat (reset-subsection) (section-clean) (assign "section-prefix" (value "appendix-prefix"))) (concat (reset-section) (chapter-clean) (assign "chapter-prefix" (value "appendix-prefix")))))) (associate "nocite" (xmacro "x" (concat (flag (localize "bibliography") "dark green" "x") (map-args "nocite-arg" "concat" "x")))) (associate "counter-std-env" (macro "std-env-nr")) (associate "page-decorations" (dpages)) (associate "std-utils-dtd" "1.0") (associate "render-cite" (macro "x" (concat "[" (arg "x") "]"))) (associate "next-note" (macro (concat (compound "inc-note") (set-binding (compound "the-note"))))) (associate "active*" (macro "x" (arg "x"))) (associate "author-name" (macro "x" (author-render-name (concat (author-by (arg "x")) (doc-footnote-ref (quasi (doc-author-data-note (unquote* (quote-value "the-author-data"))))))))) (associate "par-left" "0cm") (associate "last-item" (with "mode" (quote "math") "" (quote "") "<cdot>" (quote "") (with "math-font-series" (quote "bold") (group "<ast>")))) (associate "prog-font" "roman") (associate "big-table*" (macro "body" "caption" (document (render-big-figure "table" (compound "table-text") (arg "body") (arg "caption"))))) (associate "the-part" (macro (compound "display-part" (value (compound "counter-part"))))) (associate "toc-1" (macro "left" "right" (concat (arg "left") (toc-dots) (no-break) (arg "right")))) (associate "next-auto" (macro (concat (compound "inc-auto") (set-binding (compound "the-auto"))))) (associate "toc-2" (macro "left" "right" (with "par-left" "1.5fn" (concat (arg "left") (toc-dots) (no-break) (arg "right"))))) (associate "toc-3" (macro "left" "right" (with "par-left" "3fn" (concat (arg "left") (toc-dots) (no-break) (arg "right"))))) (associate "toc-4" (macro "left" "right" (with "par-left" "6fn" (concat (arg "left") (toc-dots) (no-break) (arg "right") (vspace "0.15fn"))))) (associate "index-dots" (macro (concat " " (datoms (macro "x" (repeat (arg "x") (with "font-series" "medium" (with "font-size" "1" (concat (space "0.2fn") "." (space "0.2fn")))))) (htab "5mm")) " "))) (associate "toc-5" (macro "left" "right" (concat (arg "left") (toc-dots) (no-break) (arg "right") (vspace "0.15fn")))) (associate "bib-list" (macro "largest" "body" (document (with "bibitem-width" (box-info (transform-bibitem (arg "largest")) "w.") (document (description (document (arg "body")))))))) (associate "index-text" (macro (localize "Index"))) (associate "page-the-page" (macro (page-nr))) (associate "new-list" (macro "name" "item-render" "item-transform" (quasi (concat (assign (arg "name") (macro "body" (document (list (unquote (arg "item-render")) (unquote (arg "item-transform")) (arg "body"))))) (assign (merge (arg "name") "*") (macro "body" (document (list* (unquote (arg "item-render")) (unquote (arg "item-transform")) (arg "body"))))))))) (associate "table-max-rows" "") (associate "table-min-rows" "") (associate "note-text" (macro (localize "Note"))) (associate "pat-replace" (macro "x" (concat (arg "x") (with "color" "dark magenta" "mode" "math" "!")))) (associate "inc-example" (macro (assign (compound "counter-example") (plus (value (compound "counter-example")) "1")))) (associate "unfolded" (macro "x" "y" (document (render-folded-std (action (resize (with "mode" "math" "<bullet>") "" "" "r]1.5fn" "") "(mouse-fold)" (arg "x")) (document (arg "x") (arg "y")))))) (associate "table-tborder" "0ln") (associate "table-bborder" "0ln") (associate "table-rborder" "0ln") (associate "table-lborder" "0ln") (associate "gr-text-at-halign" "default") (associate "gr-text-at-valign" "default") (associate "padded-normal" (macro "a" "b" "body" (surround (concat (vspace* (arg "a")) (no-indent)) (concat (htab "0fn" "first") (vspace (arg "b"))) (arg "body")))) (associate "acronym" (macro "x" (with "font-shape" "small-caps" (arg "x")))) (associate "section-numbered" "false") (associate "par-sep" "0.2fn") (associate "subparagraph" (macro "title" (concat (assign "subparagraph-numbered" (compound "subparagraph-display-numbers")) (assign "subparagraph-prefix" (macro (concat (compound "the-subparagraph") "."))) (compound "next-subparagraph") (compound "subparagraph-clean") (compound "subparagraph-header" (arg "title")) (compound "subparagraph-toc" (arg "title")) (if (value "subparagraph-numbered") (compound "subparagraph-numbered-title" (arg "title")) (compound "subparagraph-title" (arg "title")))))) (associate "errput" (macro "body" (compound (if (provides (merge (value "prog-language") "-errput")) (merge (value "prog-language") "-textput") "generic-errput") (arg "body")))) (associate "convention*" (macro "body" (document (compound "render-remark" (compound "convention-text") (arg "body"))))) (associate "page-screen-height" "10cm") (associate "definition*" (macro "body" (document (compound "render-theorem" (compound "definition-text") (arg "body"))))) (associate "notation*" (macro "body" (document (compound "render-theorem" (compound "notation-text") (arg "body"))))) (associate "the-corollary" (macro (compound "display-corollary" (value (compound "counter-corollary"))))) (associate "eqsplit" (macro "body" (document (eqsplit* (tformat (arg "body")))))) (associate "glossary-explain" (macro "entry" "explain" (concat (flag (localize "glossary") "dark green" "entry") (auto-label) (write "gly" (tuple "normal" (arg "entry") (arg "explain") (pageref (the-auto))))))) (associate "next-axiom" (macro (concat (compound "inc-axiom") (set-binding (compound "the-axiom"))))) (associate "axiom*" (macro "body" (document (compound "render-theorem" (compound "axiom-text") (arg "body"))))) (associate "reset-corollary" (macro (assign (compound "counter-corollary") "0"))) (associate "description*" (macro "body" (document (list* (macro "x" (compact-item (item-strong (concat (arg "x") ". ")))) (macro "x" (with "mode" "math" (with "math-font-series" "bold" (group "<ast>")))) (arg "body"))))) (associate "small-figure" (macro "body" "caption" (concat (compound "next-figure") (render-small-figure "figure" (concat (compound "figure-text") " " (compound "the-figure")) (arg "body") (arg "caption"))))) (associate "list-of-figures" (macro "aux" "body" (document (the-glossary* (arg "aux") (list-of-figures-text) (document (arg "body")))))) (associate "next-exercise-env" (macro (concat (compound "inc-exercise-env") (set-binding (compound "the-exercise-env"))))) (associate "the-section" (macro (compound "display-section" (value (compound "counter-section"))))) (associate "enumerate-1*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "."))) (macro "x" (arg "x")) (arg "body"))))) (associate "keep-unfolded" (macro "x" (arg "x"))) (associate "varordfeminine" (rsup "a")) (associate "plot-range" (macro "x" "start" "end" (concat (resize (concat (math (arg "x")) ": ") "" "" "1.5fn" "" "") (plot-input-field "0.25par" (math (arg "start"))) " -- " (plot-input-field "0.25par" (math (arg "end")))))) (associate "cell-block" "auto") (associate "output" (macro "body" (with "mode" "prog" (compound (if (provides (merge (value "prog-language") "-output")) (merge (value "prog-language") "-output") "generic-output") (arg "body"))))) (associate "figure-nr" "0") (associate "part-clean" (macro "")) (associate "scripts-dtd" "1.0") (associate "next-paragraph" (macro (concat (compound "inc-paragraph") (set-binding (compound "the-paragraph"))))) (associate "conjecture" (macro "body" (document (surround (compound "next-conjecture") "" (compound "render-theorem" (concat (compound "conjecture-text") " " (compound "the-conjecture")) (arg "body")))))) (associate "paragraph-numbered" "false") (associate "subsection" (macro "title" (concat (assign "subsection-numbered" (compound "subsection-display-numbers")) (assign "subsection-prefix" (macro (concat (compound "the-subsection") "."))) (compound "next-subsection") (compound "subsection-clean") (compound "subsection-header" (arg "title")) (compound "subsection-toc" (arg "title")) (if (value "subsection-numbered") (compound "subsection-numbered-title" (arg "title")) (compound "subsection-title" (arg "title")))))) (associate "inc-corollary" (macro (assign (compound "counter-corollary") (plus (value (compound "counter-corollary")) "1")))) (associate "id-function" (macro "x" (arg "x"))) (associate "glossary-dots" (macro (concat " " (datoms (macro "x" (repeat (arg "x") (with "font-series" "medium" (with "font-size" "1" (concat (space "0.2fn") "." (space "0.2fn")))))) (htab "5mm")) " "))) (associate "part-sep" (macro (sectional-sep))) (associate "glossary-text" (macro (localize "Glossary"))) (associate "doc-author-block" (macro "body" (document (concat (space "0pt") (tabular* (tformat (cwith "1" "1" "1" "1" "cell-lsep" "0spc") (cwith "1" "1" "1" "1" "cell-rsep" "0spc") (cwith "1" "1" "1" "1" "cell-bsep" "0spc") (cwith "1" "1" "1" "1" "cell-tsep" "0spc") (cwith "1" "1" "1" "1" "cell-hyphen" "t") (cwith "1" "1" "1" "1" "cell-hmode" "min") (cwith "1" "1" "1" "1" "cell-width" "1par") (table (row (cell (document (with "par-mode" "center" (document (arg "body"))))))))))))) (associate "big-table" (macro "body" "caption" (document (surround (compound "next-table") "" (render-big-figure "table" (concat (compound "table-text") " " (compound "the-table")) (arg "body") (arg "caption")))))) (associate "chapter-prefix" (macro "")) (associate "page-foot-sep" "8mm") (associate "enumerate-Alpha*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") (with "font-shape" "right" ")")))) (macro "x" (number (arg "x") "Alpha")) (arg "body"))))) (associate "enumerate-alpha*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") (with "font-shape" "right" ")")))) (macro "x" (number (arg "x") "alpha")) (arg "body"))))) (associate "display-convention" (macro "nr" (compound "display-in-theorem-env" "convention" (arg "nr")))) (associate "reset-std-env" (macro (concat (assign (compound (error "bad merge")) "0") (for-each "reset-counter" (value "std-env-group"))))) (associate "set-odd-page-footer" (macro "s" (concat (flag (localize "odd page footer") "brown" "s") (assign "page-odd-footer" (arg "s"))))) (associate "nocite-arg" (macro "x" (write "bib" (arg "x")))) (associate "itemize-dot" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" "<bullet>")) (arg "body"))))) (associate "folded-env" (macro "x" "y" (document (render-folded-env (action (resize (specific "screen" (with "mode" "math" (op "<circ>"))) "" "" "r]1.5fn" "") "(mouse-unfold)" (arg "x")) (document (arg "x") (hidden (arg "y"))))))) (associate "itemize-1" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" "<bullet>")) (arg "body"))))) (associate "itemize-2" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "<circ>"))) (arg "body"))))) (associate "ind-display-exercise" (macro "x" (arg "x"))) (associate "transform-bibitem" (macro "x" (strong (concat "[" (arg "x") "]  ")))) (associate "itemize-3" (macro "body" (document (list (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "-"))) (arg "body"))))) (associate "onesuperior" (macro (with "font" "tc" ""))) (associate "pat-repeat" (macro "x" (concat (arg "x") (with "color" "dark magenta" "mode" "math" (rsup "<ast>"))))) (associate "next-number" (macro (concat (next-equation) (with "mode" "text" "font-shape" "right" (concat "(" (the-equation) ")"))))) (associate "figure-sep" (macro ". ")) (associate "degreesign" (macro (with "font" "tc" ""))) (associate "render-table-of-contents" (macro "name" "body" (document (principal-section* (arg "name")) (with "par-first" "0fn" "par-par-sep" "0fn" (arg "body"))))) (associate "textput" (macro "body" (compound (if (provides (merge (value "prog-language") "-textput")) (merge (value "prog-language") "-textput") "generic-textput") (arg "body")))) (associate "doc-author-main" (macro "data" (document (quasi (document (unquote* (select (quote-arg "data") "author-name")) (unquote* (select (quote-arg "data") "author-address")) (unquote* (select (quote-arg "data") "author-email")) (unquote* (select (quote-arg "data") "author-homepage"))))))) (associate "page-screen-left" "5mm") (associate "std-counter-package" "1.0") (associate "the-theorem-env" (macro (compound "display-theorem-env" (value (compound "counter-theorem-env"))))) (associate "left-flush" (macro (htab "0fn" "last"))) (associate "itemize-3*" (macro "body" (document (list* (macro "x" (aligned-item (concat (arg "x") "  "))) (macro "x" (with "mode" "math" (group "-"))) (arg "body"))))) (associate "table-vmode" "auto")) (collection (associate "remark*" (tuple "8196" (tuple "2"))) (associate "subparagraph-title" (tuple "8196" (tuple "2"))) (associate "inc-notation" (tuple "8192" (tuple))) (associate "set-this-page-header" (tuple "8196" (tuple "0"))) (associate "principal-section" (tuple "8196" (tuple "0"))) (associate "display-problem" (tuple "8196" (tuple "2"))) (associate "theorem-text" (tuple "8192" (tuple))) (associate "display-corollary" (tuple "8196" (tuple "2"))) (associate "itemize-minus" (tuple "8196" (tuple "2"))) (associate "script-output" (tuple "8208" (tuple "0" "0" "0" "2"))) (associate "ind-display-problem" (tuple "8196" (tuple "2"))) (associate "set-even-page-footer" (tuple "8196" (tuple "0"))) (associate "counter-chapter" (tuple "8192" (tuple))) (associate "subsubsection-toc" (tuple "8196" (tuple "0"))) (associate "next-subparagraph" (tuple "8192" (tuple))) (associate "part*" (tuple "8196" (tuple "2"))) (associate "threesuperior" (tuple "8192" (tuple))) (associate "appendix-header" (tuple "8196" (tuple "0"))) (associate "inc-definition" (tuple "8192" (tuple))) (associate "enumerate-roman" (tuple "8196" (tuple "2"))) (associate "the-index*" (tuple "8204" (tuple "0" "0" "2"))) (associate "the-index" (tuple "8200" (tuple "0" "2"))) (associate "reset-exercise" (tuple "8192" (tuple))) (associate "the-definition" (tuple "8192" (tuple))) (associate "doc-data-main*" (tuple "8450" (tuple "0"))) (associate "compact-strong-dot-item" (tuple "8196" (tuple "2"))) (associate "subparagraph-prefix" (tuple "8192" (tuple))) (associate "the-lemma" (tuple "8192" (tuple))) (associate "the-exercise" (tuple "8192" (tuple))) (associate "counter-theorem" (tuple "8192" (tuple))) (associate "reset-footnote" (tuple "8192" (tuple))) (associate "sharp-size" (tuple "8196" (tuple "2"))) (associate "very-huge" (tuple "8196" (tuple "2"))) (associate "fold-back" (tuple "8196" (tuple "2"))) (associate "script-eval" (tuple "8196" (tuple "2"))) (associate "enumerate*" (tuple "8196" (tuple "2"))) (associate "inc-part" (tuple "8192" (tuple))) (associate "part-numbered-title" (tuple "8196" (tuple "2"))) (associate "subsection-sep" (tuple "8192" (tuple))) (associate "inc-convention" (tuple "8192" (tuple))) (associate "identity" (tuple "8196" (tuple "2"))) (associate "display-definition" (tuple "8196" (tuple "2"))) (associate "src-tt" (tuple "8196" (tuple "2"))) (associate "slide" (tuple "8196" (tuple "2"))) (associate "the-convention" (tuple "8192" (tuple))) (associate "ind-counter-equation" (tuple "8192" (tuple))) (associate "ind-display-corollary" (tuple "8196" (tuple "2"))) (associate "reset-figure-env" (tuple "8192" (tuple))) (associate "conjecture*" (tuple "8196" (tuple "2"))) (associate "big-figure*" (tuple "8200" (tuple "2" "2"))) (associate "compact-space-item" (tuple "8196" (tuple "2"))) (associate "ind-counter-notation" (tuple "8192" (tuple))) (associate "inc-section" (tuple "8192" (tuple))) (associate "pat-quote" (tuple "8196" (tuple "2"))) (associate "subparagraph-toc" (tuple "8196" (tuple "0"))) (associate "with-TeXmacs-text" (tuple "8192" (tuple))) (associate "display-in-theorem-env" (tuple "8200" (tuple "0" "2"))) (associate "reset-axiom" (tuple "8192" (tuple))) (associate "reset-chapter" (tuple "8192" (tuple))) (associate "ind-display-lemma" (tuple "8196" (tuple "2"))) (associate "compact-strong-space-item" (tuple "8196" (tuple "2"))) (associate "wide-std-framed-colored" (tuple "8204" (tuple "0" "0" "2"))) (associate "the-std-env" (tuple "8192" (tuple))) (associate "subsubsection-clean" (tuple "8192" (tuple))) (associate "footnote" (tuple "8196" (tuple "2"))) (associate "enumerate-numeric" (tuple "8196" (tuple "2"))) (associate "counter-conjecture" (tuple "8192" (tuple))) (associate "counter-exercise" (tuple "8192" (tuple))) (associate "sectional-short-italic" (tuple "8196" (tuple "2"))) (associate "src-error" (tuple "8196" (tuple "2"))) (associate "reset-theorem" (tuple "8192" (tuple))) (associate "next-theorem-env" (tuple "8192" (tuple))) (associate "converter-input" (tuple "8204" (tuple "2" "50" "0"))) (associate "counter-subsection" (tuple "8192" (tuple))) (associate "next-chapter" (tuple "8192" (tuple))) (associate "itemize-2*" (tuple "8196" (tuple "2"))) (associate "problem-text" (tuple "8192" (tuple))) (associate "paragraph-text" (tuple "8192" (tuple))) (associate "description-long" (tuple "8196" (tuple "2"))) (associate "ind-display-proposition" (tuple "8196" (tuple "2"))) (associate "inc-footnote" (tuple "8192" (tuple))) (associate "corollary*" (tuple "8196" (tuple "2"))) (associate "ind-counter-note" (tuple "8192" (tuple))) (associate "indent-right" (tuple "8200" (tuple "0" "2"))) (associate "wide-std-bothlined" (tuple "8196" (tuple "2"))) (associate "small-figure*" (tuple "8200" (tuple "2" "2"))) (associate "enumerate-Alpha" (tuple "8196" (tuple "2"))) (associate "ind-counter-conjecture" (tuple "8192" (tuple))) (associate "display-exercise" (tuple "8196" (tuple "2"))) (associate "smash-top" (tuple "8196" (tuple "2"))) (associate "counter-warning" (tuple "8192" (tuple))) (associate "counter-corollary" (tuple "8192" (tuple))) (associate "ind-counter-warning" (tuple "8192" (tuple))) (associate "default-padded-normal" (tuple "8204" (tuple "0" "0" "2"))) (associate "next-theorem" (tuple "8192" (tuple))) (associate "made-by-TeXmacs" (tuple "8192" (tuple))) (associate "generic-textput" (tuple "8196" (tuple "2"))) (associate "reset-convention" (tuple "8192" (tuple))) (associate "counter-definition" (tuple "8192" (tuple))) (associate "enumerate-numeric*" (tuple "8196" (tuple "2"))) (associate "itemize-arrow" (tuple "8196" (tuple "2"))) (associate "counter-subsubsection" (tuple "8192" (tuple))) (associate "reset-note" (tuple "8192" (tuple))) (associate "reset-auto" (tuple "8192" (tuple))) (associate "ind-display-conjecture" (tuple "8196" (tuple "2"))) (associate "aligned-dot-item" (tuple "8196" (tuple "2"))) (associate "generic-script-input" (tuple "8208" (tuple "2" "0" "2" "0"))) (associate "wiki-link" (tuple "8200" (tuple "2" "0"))) (associate "counter-subparagraph" (tuple "8192" (tuple))) (associate "nbsp" (tuple "8192" (tuple))) (associate "the-problem" (tuple "8192" (tuple))) (associate "example" (tuple "8196" (tuple "2"))) (associate "aligned-strong-dot-item" (tuple "8196" (tuple "2"))) (associate "cite-arg-extra" (tuple "8196" (tuple "0"))) (associate "subparagraph-numbered-title" (tuple "8196" (tuple "2"))) (associate "set-footer" (tuple "8196" (tuple "0"))) (associate "display-note" (tuple "8196" (tuple "2"))) (associate "inc-warning" (tuple "8192" (tuple))) (associate "display-remark" (tuple "8196" (tuple "2"))) (associate "display-auto" (tuple "8196" (tuple "2"))) (associate "chapter-numbered-title" (tuple "8196" (tuple "2"))) (associate "math-punct" (tuple "8196" (tuple "2"))) (associate "next-figure-env" (tuple "8192" (tuple))) (associate "chapter-toc" (tuple "8196" (tuple "0"))) (associate "index-4*" (tuple "8196" (tuple "2"))) (associate "dueto" (tuple "8196" (tuple "2"))) (associate "onequarter" (tuple "8192" (tuple))) (associate "onehalf" (tuple "8192" (tuple))) (associate "display-exercise-env" (tuple "8196" (tuple "2"))) (associate "display-figure" (tuple "8196" (tuple "2"))) (associate "plot-curve" (tuple "8204" (tuple "34" "34" "34"))) (associate "ind-display-definition" (tuple "8196" (tuple "2"))) (associate "registered" (tuple "8192" (tuple))) (associate "counter-equation" (tuple "8192" (tuple))) (associate "bibliography" (tuple "8208" (tuple "0" "0" "0" "2"))) (associate "subsubsection-title" (tuple "8196" (tuple "2"))) (associate "counter-in-std-env" (tuple "8196" (tuple "0"))) (associate "thebibliography" (tuple "8200" (tuple "0" "2"))) (associate "trademark" (tuple "8192" (tuple))) (associate "table-of-contents" (tuple "8200" (tuple "0" "2"))) (associate "ind-counter-lemma" (tuple "8192" (tuple))) (associate "resetstdenv" (tuple "8192" (tuple))) (associate "leq-number" (tuple "8192" (tuple))) (associate "style-only" (tuple "917508" (tuple "898"))) (associate "req-number" (tuple "8192" (tuple))) (associate "style-only*" (tuple "917508" (tuple "898"))) (associate "eq-number" (tuple "8192" (tuple))) (associate "active" (tuple "917508" (tuple "898"))) (associate "ind-counter-exercise-env" (tuple "8192" (tuple))) (associate "active*" (tuple "917508" (tuple "898"))) (associate "counter-notation" (tuple "8192" (tuple))) (associate "small-table*" (tuple "8200" (tuple "2" "2"))) (associate "inc-figure-env" (tuple "8192" (tuple))) (associate "paragraph" (tuple "8196" (tuple "2"))) (associate "display-table" (tuple "8196" (tuple "2"))) (associate "ind-counter-proposition" (tuple "8192" (tuple))) (associate "the-figure-env" (tuple "8192" (tuple))) (associate "LaTeX" (tuple "8192" (tuple))) (associate "display-equation" (tuple "8196" (tuple "2"))) (associate "display-subsection" (tuple "8196" (tuple "2"))) (associate "paragraph-toc" (tuple "8196" (tuple "0"))) (associate "display-conjecture" (tuple "8196" (tuple "2"))) (associate "example*" (tuple "8196" (tuple "2"))) (associate "itemize*" (tuple "8196" (tuple "2"))) (associate "paragraphsign" (tuple "8192" (tuple))) (associate "display-notation" (tuple "8196" (tuple "2"))) (associate "reset-proposition" (tuple "8192" (tuple))) (associate "hlink" (tuple "921860" (tuple "898" "896") (attr "name" "hyperlink"))) (associate "display-warning" (tuple "8196" (tuple "2"))) (associate "action" (tuple "925961" (tuple "898" "896" "896"))) (associate "display-proposition" (tuple "8196" (tuple "2"))) (associate "inc-subparagraph" (tuple "8192" (tuple))) (associate "counter-table" (tuple "8192" (tuple))) (associate "next-convention" (tuple "8192" (tuple))) (associate "theorem*" (tuple "8196" (tuple "2"))) (associate "ind-display-warning" (tuple "8196" (tuple "2"))) (associate "description-compact*" (tuple "8196" (tuple "2"))) (associate "appendix-clean" (tuple "8192" (tuple))) (associate "nocite" (tuple "8450" (tuple "0"))) (associate "nocite-arg" (tuple "8196" (tuple "0"))) (associate "counter-std-env" (tuple "8192" (tuple))) (associate "next-note" (tuple "8192" (tuple))) (associate "big-table*" (tuple "8200" (tuple "2" "2"))) (associate "the-part" (tuple "8192" (tuple))) (associate "toc-1" (tuple "8200" (tuple "2" "2"))) (associate "next-auto" (tuple "8192" (tuple))) (associate "toc-2" (tuple "8200" (tuple "2" "2"))) (associate "toc-3" (tuple "8200" (tuple "2" "2"))) (associate "toc-4" (tuple "8200" (tuple "2" "2"))) (associate "toc-5" (tuple "8200" (tuple "2" "2"))) (associate "note-text" (tuple "8192" (tuple))) (associate "pat-replace" (tuple "8196" (tuple "2"))) (associate "inc-example" (tuple "8192" (tuple))) (associate "unfolded" (tuple "8200" (tuple "2" "2"))) (associate "acronym" (tuple "8196" (tuple "2"))) (associate "subparagraph" (tuple "8196" (tuple "2"))) (associate "errput" (tuple "8196" (tuple "2"))) (associate "convention*" (tuple "8196" (tuple "2"))) (associate "definition*" (tuple "8196" (tuple "2"))) (associate "notation*" (tuple "8196" (tuple "2"))) (associate "the-corollary" (tuple "8192" (tuple))) (associate "eqsplit" (tuple "8196" (tuple "34"))) (associate "glossary-explain" (tuple "8200" (tuple "0" "0"))) (associate "next-axiom" (tuple "8192" (tuple))) (associate "axiom*" (tuple "8196" (tuple "2"))) (associate "reset-corollary" (tuple "8192" (tuple))) (associate "description*" (tuple "8196" (tuple "2"))) (associate "small-figure" (tuple "8200" (tuple "2" "2"))) (associate "list-of-figures" (tuple "8200" (tuple "0" "2"))) (associate "next-exercise-env" (tuple "8192" (tuple))) (associate "enumerate-1*" (tuple "8196" (tuple "2"))) (associate "keep-unfolded" (tuple "8196" (tuple "2"))) (associate "output" (tuple "8196" (tuple "50"))) (associate "part-clean" (tuple "8192" (tuple))) (associate "next-paragraph" (tuple "8192" (tuple))) (associate "conjecture" (tuple "8196" (tuple "2"))) (associate "subsection" (tuple "8196" (tuple "2"))) (associate "inc-corollary" (tuple "8192" (tuple))) (associate "part-sep" (tuple "8192" (tuple))) (associate "big-table" (tuple "8200" (tuple "2" "2"))) (associate "enumerate-Alpha*" (tuple "8196" (tuple "2"))) (associate "enumerate-alpha*" (tuple "8196" (tuple "2"))) (associate "display-convention" (tuple "8196" (tuple "2"))) (associate "set-odd-page-footer" (tuple "8196" (tuple "0"))) (associate "itemize-dot" (tuple "8196" (tuple "2"))) (associate "shown" (tuple "933892" (tuple "898"))) (associate "itemize-1" (tuple "8196" (tuple "2"))) (associate "itemize-2" (tuple "8196" (tuple "2"))) (associate "TeXmacs" (tuple "8192" (tuple))) (associate "ind-display-exercise" (tuple "8196" (tuple "2"))) (associate "itemize-3" (tuple "8196" (tuple "2"))) (associate "body" (tuple "8196" (tuple "2"))) (associate "onesuperior" (tuple "8192" (tuple))) (associate "description" (tuple "8196" (tuple "2"))) (associate "verbatim" (tuple "8196" (tuple "2"))) (associate "degreesign" (tuple "8192" (tuple))) (associate "textput" (tuple "8196" (tuple "2"))) (associate "the-theorem-env" (tuple "8192" (tuple))) (associate "left-flush" (tuple "8192" (tuple))) (associate "item*" (tuple "8196" (tuple "2"))) (associate "itemize-3*" (tuple "8196" (tuple "2"))) (associate "section-display-numbers" (tuple "8192" (tuple))) (associate "TeX" (tuple "8192" (tuple))) (associate "appendix-display-numbers" (tuple "8192" (tuple))) (associate "start-page" (tuple "8196" (tuple "0"))) (associate "subsection-display-numbers" (tuple "8192" (tuple))) (associate "hrule" (tuple "8192" (tuple))) (associate "subsubsection-display-numbers" (tuple "8192" (tuple))) (associate "chapter-display-numbers" (tuple "8192" (tuple))) (associate "doc-keywords" (tuple "135430" (tuple "130" "130"))) (associate "even-page-text" (tuple "8196" (tuple "0"))) (associate "doc-AMS-class" (tuple "135430" (tuple "130" "130"))) (associate "odd-page-text" (tuple "8196" (tuple "0"))) (associate "part-display-numbers" (tuple "8192" (tuple))) (associate "src-title" (tuple "8196" (tuple "2"))) (associate "src-style-file" (tuple "8200" (tuple "0" "0"))) (associate "small" (tuple "8196" (tuple "2"))) (associate "padded-bothlined" (tuple "8220" (tuple "0" "0" "0" "0" "0" "0" "2"))) (associate "doc-author-block" (tuple "8196" (tuple "2"))) (associate "simple-page" (tuple "8192" (tuple))) (associate "wide-std-underlined" (tuple "8196" (tuple "2"))) (associate "page-the-page" (tuple "8192" (tuple))) (associate "sectional-centered-bold" (tuple "8196" (tuple "2"))) (associate "sectional-centered" (tuple "8196" (tuple "2"))) (associate "sectional-normal" (tuple "8196" (tuple "2"))) (associate "sectional-short" (tuple "8196" (tuple "2"))) (associate "paragraph-sep" (tuple "8192" (tuple))) (associate "subparagraph-sep" (tuple "8192" (tuple))) (associate "src-package" (tuple "8200" (tuple "0" "0"))) (associate "new-counter" (tuple "8196" (tuple "0"))) (associate "group-individual-counters" (tuple "8196" (tuple "0"))) (associate "localize" (tuple "8196" (tuple "0"))) (associate "right-flush" (tuple "8192" (tuple))) (associate "tabular" (tuple "8196" (tuple "2"))) (associate "padded-normal" (tuple "8204" (tuple "0" "0" "2"))) (associate "indent-both" (tuple "8204" (tuple "0" "0" "2"))) (associate "vresize" (tuple "8204" (tuple "2" "0" "0"))) (associate "phantom" (tuple "8196" (tuple "0"))) (associate "hresize" (tuple "8204" (tuple "2" "0" "0"))) (associate "overline" (tuple "139268" (tuple "130"))) (associate "underline" (tuple "139268" (tuple "130"))) (associate "wide-bothlined" (tuple "8212" (tuple "0" "0" "0" "0" "2"))) (associate "wide-underlined" (tuple "8204" (tuple "0" "0" "2"))) (associate "wide-framed" (tuple "8208" (tuple "0" "0" "0" "2"))) (associate "wide-framed-colored" (tuple "8216" (tuple "0" "0" "0" "0" "0" "2"))) (associate "shrink-inline" (tuple "139268" (tuple "130"))) (associate "tabular*" (tuple "8196" (tuple "2"))) (associate "aligned-item" (tuple "8196" (tuple "2"))) (associate "item-strong" (tuple "8196" (tuple "2"))) (associate "compact-item" (tuple "8196" (tuple "2"))) (associate "emdash" (tuple "8192" (tuple))) (associate "item-long" (tuple "8196" (tuple "2"))) (associate "transform-item" (tuple "8196" (tuple "0"))) (associate "counter-item" (tuple "8192" (tuple))) (associate "current-item" (tuple "8196" (tuple "2"))) (associate "next-item" (tuple "8192" (tuple))) (associate "the-item" (tuple "8192" (tuple))) (associate "indent-left" (tuple "8200" (tuple "0" "2"))) (associate "render-list" (tuple "8196" (tuple "2"))) (associate "list" (tuple "8204" (tuple "0" "0" "2"))) (associate "list*" (tuple "8204" (tuple "0" "0" "2"))) (associate "new-list" (tuple "8204" (tuple "0" "0" "0"))) (associate "inc-auto" (tuple "8192" (tuple))) (associate "the-auto" (tuple "8192" (tuple))) (associate "render-cite" (tuple "8196" (tuple "2"))) (associate "cite-arg" (tuple "8196" (tuple "0"))) (associate "render-cite-detail" (tuple "8200" (tuple "2" "2"))) (associate "strong" (tuple "8196" (tuple "2"))) (associate "transform-bibitem" (tuple "8196" (tuple "2"))) (associate "bibitem*" (tuple "8196" (tuple "2"))) (associate "render-bibitem" (tuple "8196" (tuple "2"))) (associate "auto-label" (tuple "8192" (tuple))) (associate "toc-entry" (tuple "8200" (tuple "0" "0"))) (associate "toc-dots" (tuple "8192" (tuple))) (associate "index-write" (tuple "8196" (tuple "0"))) (associate "index-dots" (tuple "8192" (tuple))) (associate "glossary-dots" (tuple "8192" (tuple))) (associate "margin-first-other" (tuple "8204" (tuple "0" "0" "2"))) (associate "pat-any" (tuple "8192" (tuple))) (associate "pat-repeat" (tuple "8196" (tuple "2"))) (associate "hflush" (tuple "8192" (tuple))) (associate "render-folded-std" (tuple "8200" (tuple "2" "2"))) (associate "op" (tuple "8196" (tuple "2"))) (associate "render-folded-env" (tuple "8200" (tuple "2" "2"))) (associate "render-folded-grouped" (tuple "8200" (tuple "2" "2"))) (associate "map" (tuple "8200" (tuple "0" "0"))) (associate "sectional-short-style" (tuple "8192" (tuple))) (associate "folded-plain" (tuple "139272" (tuple "2" "1"))) (associate "folded-std" (tuple "139272" (tuple "2" "1"))) (associate "folded-env" (tuple "139272" (tuple "2" "1"))) (associate "folded-grouped" (tuple "139272" (tuple "2" "1"))) (associate "folded" (tuple "139272" (tuple "2" "1"))) (associate "summarized-plain" (tuple "139272" (tuple "2" "1"))) (associate "summarized-std" (tuple "139272" (tuple "2" "1"))) (associate "summarized-env" (tuple "139272" (tuple "2" "1"))) (associate "summarizes-grouped" (tuple "139272" (tuple "2" "1"))) (associate "summarized" (tuple "139272" (tuple "2" "1"))) (associate "detailed-plain" (tuple "139272" (tuple "1" "2"))) (associate "detailed-std" (tuple "139272" (tuple "1" "2"))) (associate "detailed-env" (tuple "139272" (tuple "1" "2"))) (associate "detailed-grouped" (tuple "139272" (tuple "1" "2"))) (associate "detailed" (tuple "139272" (tuple "1" "2"))) (associate "switch" (tuple "135430" (tuple "130" "130"))) (associate "screens" (tuple "413958" (tuple "130" "130"))) (associate "unroll" (tuple "135430" (tuple "130" "130"))) (associate "expanded" (tuple "135430" (tuple "130" "130"))) (associate "slides" (tuple "135430" (tuple "130" "130"))) (associate "show-preamble" (tuple "286724" (tuple "66"))) (associate "hide-preamble" (tuple "286724" (tuple "0"))) (associate "show-part" (tuple "286732" (tuple "0" "2" "0"))) (associate "hide-part" (tuple "417804" (tuple "0" "1" "0"))) (associate "block" (tuple "8196" (tuple "2"))) (associate "gr-tbl" (tuple "8196" (tuple "2"))) (associate "gr-geom" (tuple "8200" (tuple "0" "0"))) (associate "id-function" (tuple "8196" (tuple "2"))) (associate "generic-output*" (tuple "8196" (tuple "2"))) (associate "wide-normal" (tuple "8196" (tuple "2"))) (associate "script-aux-3" (tuple "8200" (tuple "2" "2"))) (associate "render-eval-script" (tuple "8200" (tuple "0" "2"))) (associate "render-big-script" (tuple "8200" (tuple "18" "2"))) (associate "math" (tuple "8196" (tuple "34"))) (associate "plot-input-field" (tuple "8200" (tuple "0" "2"))) (associate "plot" (tuple "8200" (tuple "18" "2"))) (associate "plot-group" (tuple "8196" (tuple "2"))) (associate "plot-function" (tuple "8200" (tuple "34" "34"))) (associate "plot-range" (tuple "8204" (tuple "34" "34" "34"))) (associate "render-small-script" (tuple "8200" (tuple "18" "2"))) (associate "new-counter-group" (tuple "8196" (tuple "0"))) (associate "add-to-counter-group" (tuple "8200" (tuple "0" "0"))) (associate "group-common-counter" (tuple "8196" (tuple "0"))) (associate "reset-std-env" (tuple "8192" (tuple))) (associate "new-env" (tuple "8208" (tuple "0" "0" "0" "0"))) (associate "render-small-figure" (tuple "8208" (tuple "0" "2" "2" "2"))) (associate "render-big-figure" (tuple "8208" (tuple "0" "2" "2" "2"))) (associate "next-equation" (tuple "8192" (tuple))) (associate "the-equation" (tuple "8192" (tuple))) (associate "next-number" (tuple "8192" (tuple))) (associate "eqn-ver-sep" (tuple "8192" (tuple))) (associate "eqn-short-above" (tuple "8192" (tuple))) (associate "eqn-short-below" (tuple "8192" (tuple))) (associate "equation*" (tuple "8196" (tuple "34"))) (associate "equation-lab" (tuple "8200" (tuple "34" "18"))) (associate "eqn-row-sep" (tuple "8192" (tuple))) (associate "eqn-long-above" (tuple "8192" (tuple))) (associate "eqn-long-below" (tuple "8192" (tuple))) (associate "equations-base" (tuple "8196" (tuple "34"))) (associate "eqnarray*" (tuple "8196" (tuple "34"))) (associate "leqnarray*" (tuple "8196" (tuple "34"))) (associate "align*" (tuple "8196" (tuple "34"))) (associate "gather*" (tuple "8196" (tuple "34"))) (associate "eqsplit*" (tuple "8196" (tuple "34"))) (associate "theorem-name" (tuple "8196" (tuple "2"))) (associate "theorem-sep" (tuple "8192" (tuple))) (associate "render-remark" (tuple "8200" (tuple "2" "2"))) (associate "exercise-name" (tuple "8196" (tuple "2"))) (associate "exercise-sep" (tuple "8192" (tuple))) (associate "new-theorem" (tuple "8200" (tuple "0" "0"))) (associate "new-remark" (tuple "8200" (tuple "0" "0"))) (associate "new-exercise" (tuple "8200" (tuple "0" "0"))) (associate "render-proof" (tuple "8200" (tuple "2" "2"))) (associate "proof-text" (tuple "8192" (tuple))) (associate "figure-name" (tuple "8196" (tuple "2"))) (associate "figure-sep" (tuple "8192" (tuple))) (associate "list-caption" (tuple "8200" (tuple "0" "0"))) (associate "new-figure" (tuple "8200" (tuple "0" "0"))) (associate "smaller" (tuple "8196" (tuple "2"))) (associate "footnote-sep" (tuple "8192" (tuple))) (associate "next-footnote" (tuple "8192" (tuple))) (associate "render-footnote" (tuple "8200" (tuple "2" "2"))) (associate "the-footnote" (tuple "8192" (tuple))) (associate "src-package-dtd" (tuple "8208" (tuple "0" "0" "0" "0"))) (associate "doc-title-block" (tuple "8196" (tuple "2"))) (associate "font-magnify" (tuple "8200" (tuple "0" "2"))) (associate "doc-render-title" (tuple "8196" (tuple "2"))) (associate "doc-footnote-ref" (tuple "8196" (tuple "0"))) (associate "doc-data-note" (tuple "8450" (tuple "0"))) (associate "doc-author" (tuple "8196" (tuple "2"))) (associate "header-title" (tuple "8196" (tuple "0"))) (associate "header-author" (tuple "8196" (tuple "0"))) (associate "abstract-text" (tuple "8192" (tuple))) (associate "doc-abstract" (tuple "8196" (tuple "2"))) (associate "keywords-text" (tuple "8192" (tuple))) (associate "concat-tuple" (tuple "8204" (tuple "0" "0" "0"))) (associate "AMS-class-text" (tuple "8192" (tuple))) (associate "doc-data-abstract" (tuple "8450" (tuple "0"))) (associate "inc-doc-note" (tuple "8192" (tuple))) (associate "the-doc-note" (tuple "8192" (tuple))) (associate "doc-author-note-next" (tuple "8192" (tuple))) (associate "doc-footnote" (tuple "8196" (tuple "0"))) (associate "select" (tuple "8454" (tuple "0" "0"))) (associate "doc-authors-data" (tuple "8450" (tuple "0"))) (associate "doc-data-bis" (tuple "8450" (tuple "0"))) (associate "doc-authors-data-bis" (tuple "8450" (tuple "0"))) (associate "doc-running-title" (tuple "139268" (tuple "130"))) (associate "doc-running-author" (tuple "139268" (tuple "130"))) (associate "author-from-authors" (tuple "8454" (tuple "0" "0"))) (associate "doc-data-hidden" (tuple "8450" (tuple "0"))) (associate "doc-make-title" (tuple "8196" (tuple "2"))) (associate "doc-title-note" (tuple "8196" (tuple "0"))) (associate "by-text" (tuple "8192" (tuple))) (associate "name" (tuple "8196" (tuple "2"))) (associate "author-render-name" (tuple "8196" (tuple "2"))) (associate "author-by" (tuple "8196" (tuple "2"))) (associate "doc-author-data-note" (tuple "8450" (tuple "0"))) (associate "email-text" (tuple "8192" (tuple))) (associate "homepage-text" (tuple "8192" (tuple))) (associate "doc-author-main" (tuple "8196" (tuple "0"))) (associate "doc-author-note" (tuple "8196" (tuple "0"))) (associate "doc-authors-block" (tuple "8196" (tuple "2"))) (associate "doc-authors" (tuple "8196" (tuple "2"))) (associate "doc-data" (tuple "135430" (tuple "130" "130"))) (associate "doc-title" (tuple "286724" (tuple "2"))) (associate "doc-subtitle" (tuple "286724" (tuple "2"))) (associate "doc-author-data" (tuple "413958" (tuple "130" "130"))) (associate "doc-date" (tuple "286724" (tuple "2"))) (associate "doc-note" (tuple "278528" (tuple))) (associate "doc-inactive" (tuple "417796" (tuple "130"))) (associate "author-name" (tuple "286724" (tuple "2"))) (associate "author-address" (tuple "286724" (tuple "2"))) (associate "author-email" (tuple "286724" (tuple "2"))) (associate "author-homepage" (tuple "286724" (tuple "2"))) (associate "author-note" (tuple "286724" (tuple "2"))) (associate "really-huge" (tuple "8196" (tuple "2"))) (associate "huge" (tuple "8196" (tuple "2"))) (associate "sectional-normal-bold" (tuple "8196" (tuple "2"))) (associate "very-large" (tuple "8196" (tuple "2"))) (associate "section-title" (tuple "8196" (tuple "2"))) (associate "appendix-text" (tuple "8192" (tuple))) (associate "sectional-sep" (tuple "8192" (tuple))) (associate "the-appendix" (tuple "8192" (tuple))) (associate "large" (tuple "8196" (tuple "2"))) (associate "sectional-short-bold" (tuple "8196" (tuple "2"))) (associate "wide-centered" (tuple "8196" (tuple "2"))) (associate "new-section" (tuple "8196" (tuple "0"))) (associate "chapter-prefix" (tuple "8192" (tuple))) (associate "section-prefix" (tuple "8192" (tuple))) (associate "subsection-prefix" (tuple "8192" (tuple))) (associate "subsubsection-prefix" (tuple "8192" (tuple))) (associate "paragraph-prefix" (tuple "8192" (tuple))) (associate "reset-section" (tuple "8192" (tuple))) (associate "reset-subsection" (tuple "8192" (tuple))) (associate "reset-subsubsection" (tuple "8192" (tuple))) (associate "reset-paragraph" (tuple "8192" (tuple))) (associate "reset-subparagraph" (tuple "8192" (tuple))) (associate "display-section" (tuple "8196" (tuple "0"))) (associate "display-chapter" (tuple "8196" (tuple "2"))) (associate "section-clean" (tuple "8192" (tuple))) (associate "chapter-clean" (tuple "8192" (tuple))) (associate "chapter-title" (tuple "8196" (tuple "2"))) (associate "section" (tuple "8196" (tuple "2"))) (associate "chapter" (tuple "8196" (tuple "2"))) (associate "section*" (tuple "8196" (tuple "2"))) (associate "chapter*" (tuple "8196" (tuple "2"))) (associate "principal-section*" (tuple "8196" (tuple "0"))) (associate "prologue-text" (tuple "8192" (tuple))) (associate "epilogue-text" (tuple "8192" (tuple))) (associate "toc-main-1" (tuple "8196" (tuple "0"))) (associate "toc-title" (tuple "8200" (tuple "0" "0"))) (associate "toc-main-2" (tuple "8196" (tuple "0"))) (associate "toc-normal-1" (tuple "8196" (tuple "0"))) (associate "toc-normal-2" (tuple "8196" (tuple "0"))) (associate "toc-normal-3" (tuple "8196" (tuple "0"))) (associate "toc-small-1" (tuple "8196" (tuple "0"))) (associate "toc-small-2" (tuple "8196" (tuple "0"))) (associate "appendix-sep" (tuple "8192" (tuple))) (associate "header-primary" (tuple "8204" (tuple "0" "0" "0"))) (associate "the-chapter" (tuple "8192" (tuple))) (associate "chapter-text" (tuple "8192" (tuple))) (associate "the-section" (tuple "8192" (tuple))) (associate "section-text" (tuple "8192" (tuple))) (associate "header-secondary" (tuple "8204" (tuple "0" "0" "0"))) (associate "the-subsection" (tuple "8192" (tuple))) (associate "render-bibliography" (tuple "8200" (tuple "0" "2"))) (associate "bibliography-text" (tuple "8192" (tuple))) (associate "bib-list" (tuple "8200" (tuple "0" "2"))) (associate "render-table-of-contents" (tuple "8200" (tuple "0" "2"))) (associate "table-of-contents-text" (tuple "8192" (tuple))) (associate "render-index" (tuple "8200" (tuple "0" "2"))) (associate "index-text" (tuple "8192" (tuple))) (associate "render-glossary" (tuple "8200" (tuple "0" "2"))) (associate "glossary-text" (tuple "8192" (tuple))) (associate "the-glossary*" (tuple "8204" (tuple "0" "0" "2"))) (associate "list-of-figures-text" (tuple "8192" (tuple))) (associate "list-of-tables-text" (tuple "8192" (tuple))) (associate "block*" (tuple "8196" (tuple "2"))) (associate "copyright" (tuple "8192" (tuple))) (associate "itemize" (tuple "8196" (tuple "2"))) (associate "item" (tuple "8192" (tuple))) (associate "index" (tuple "8196" (tuple "0"))) (associate "src-macro" (tuple "8196" (tuple "2"))) (associate "src-arg" (tuple "8196" (tuple "2"))) (associate "src-var" (tuple "8196" (tuple "2"))) (associate "em" (tuple "8196" (tuple "2"))) (associate "quote-env" (tuple "8196" (tuple "2"))) (associate "quotation" (tuple "8196" (tuple "2"))) (associate "padded-std-bothlined" (tuple "8204" (tuple "0" "0" "2"))) (associate "counter-footnote" (tuple "8192" (tuple))) (associate "itemize-minus*" (tuple "8196" (tuple "2"))) (associate "corollary-text" (tuple "8192" (tuple))) (associate "description-dash" (tuple "8196" (tuple "2"))) (associate "proposition-text" (tuple "8192" (tuple))) (associate "padded-centered" (tuple "8204" (tuple "0" "0" "2"))) (associate "counter-figure-env" (tuple "8192" (tuple))) (associate "enumerate-alpha" (tuple "8196" (tuple "2"))) (associate "display-example" (tuple "8196" (tuple "2"))) (associate "subsection-text" (tuple "8192" (tuple))) (associate "ind-display-note" (tuple "8196" (tuple "2"))) (associate "next-std-env" (tuple "8192" (tuple))) (associate "definition" (tuple "8196" (tuple "2"))) (associate "appendix*" (tuple "8196" (tuple "2"))) (associate "ind-display-example" (tuple "8196" (tuple "2"))) (associate "convention-text" (tuple "8192" (tuple))) (associate "doc-footnote-sub" (tuple "8196" (tuple "2"))) (associate "the-exercise-env" (tuple "8192" (tuple))) (associate "list-of-tables" (tuple "8200" (tuple "0" "2"))) (associate "ind-counter-axiom" (tuple "8192" (tuple))) (associate "display-footnote" (tuple "8196" (tuple "2"))) (associate "display-subparagraph" (tuple "8196" (tuple "2"))) (associate "the-paragraph" (tuple "8192" (tuple))) (associate "ind-counter-figure-env" (tuple "8192" (tuple))) (associate "compact-strong-dash-item" (tuple "8196" (tuple "2"))) (associate "inc-lemma" (tuple "8192" (tuple))) (associate "cite*" (tuple "8196" (tuple "2"))) (associate "code*" (tuple "8196" (tuple "2"))) (associate "cite" (tuple "8454" (tuple "0" "0"))) (associate "code" (tuple "8196" (tuple "2"))) (associate "note" (tuple "8196" (tuple "2"))) (associate "reset-item" (tuple "8192" (tuple))) (associate "section-toc" (tuple "8196" (tuple "0"))) (associate "figure-text" (tuple "8192" (tuple))) (associate "glossary-dup" (tuple "8196" (tuple "0"))) (associate "index-1" (tuple "8200" (tuple "2" "2"))) (associate "tt" (tuple "8196" (tuple "2"))) (associate "index-2" (tuple "8200" (tuple "2" "2"))) (associate "unfolded-std" (tuple "8200" (tuple "2" "2"))) (associate "problem*" (tuple "8196" (tuple "2"))) (associate "paragraph*" (tuple "8196" (tuple "2"))) (associate "index-3" (tuple "8200" (tuple "2" "2"))) (associate "index-4" (tuple "8200" (tuple "2" "2"))) (associate "pat-group*" (tuple "8196" (tuple "2"))) (associate "index-5" (tuple "8200" (tuple "2" "2"))) (associate "remark-text" (tuple "8192" (tuple))) (associate "lemma*" (tuple "8196" (tuple "2"))) (associate "lemma-text" (tuple "8192" (tuple))) (associate "really-tiny" (tuple "8196" (tuple "2"))) (associate "reset-appendix" (tuple "8192" (tuple))) (associate "larger" (tuple "8196" (tuple "2"))) (associate "gather" (tuple "8196" (tuple "34"))) (associate "ind-display-remark" (tuple "8196" (tuple "2"))) (associate "ind-counter-definition" (tuple "8192" (tuple))) (associate "matrix" (tuple "8196" (tuple "2"))) (associate "display-lemma" (tuple "8196" (tuple "2"))) (associate "reset-problem" (tuple "8192" (tuple))) (associate "bibitem" (tuple "8196" (tuple "2"))) (associate "next-subsubsection" (tuple "8192" (tuple))) (associate "the-subsubsection" (tuple "8192" (tuple))) (associate "display-item" (tuple "8196" (tuple "2"))) (associate "ind-display-figure-env" (tuple "8196" (tuple "2"))) (associate "counter-part" (tuple "8192" (tuple))) (associate "the-warning" (tuple "8192" (tuple))) (associate "subsubsection*" (tuple "8196" (tuple "2"))) (associate "plot-curve*" (tuple "8208" (tuple "34" "34" "34" "34"))) (associate "ind-counter-exercise" (tuple "8192" (tuple))) (associate "index-5*" (tuple "8196" (tuple "2"))) (associate "index-1*" (tuple "8196" (tuple "2"))) (associate "subparagraph-display-numbers" (tuple "8192" (tuple))) (associate "the-axiom" (tuple "8192" (tuple))) (associate "counter-paragraph" (tuple "8192" (tuple))) (associate "reset-exercise-env" (tuple "8192" (tuple))) (associate "description-aligned*" (tuple "8196" (tuple "2"))) (associate "eqnarray" (tuple "8196" (tuple "34"))) (associate "theorem" (tuple "8196" (tuple "2"))) (associate "counter-lemma" (tuple "8192" (tuple))) (associate "ind-display-figure" (tuple "8196" (tuple "2"))) (associate "center" (tuple "8196" (tuple "2"))) (associate "algorithm" (tuple "8200" (tuple "2" "2"))) (associate "pat-and-not" (tuple "8200" (tuple "2" "2"))) (associate "part-title" (tuple "8196" (tuple "2"))) (associate "unfolded-plain" (tuple "8200" (tuple "2" "2"))) (associate "next-problem" (tuple "8192" (tuple))) (associate "ind-display-notation" (tuple "8196" (tuple "2"))) (associate "inc-table" (tuple "8192" (tuple))) (associate "small-table" (tuple "8200" (tuple "2" "2"))) (associate "ind-display-equation" (tuple "8196" (tuple "2"))) (associate "src-length" (tuple "8196" (tuple "2"))) (associate "toc-strong-1" (tuple "8200" (tuple "2" "2"))) (associate "inc-remark" (tuple "8192" (tuple))) (associate "toc-strong-2" (tuple "8200" (tuple "2" "2"))) (associate "plot-output" (tuple "8200" (tuple "0" "2"))) (associate "inc-theorem-env" (tuple "8192" (tuple))) (associate "reset-counter" (tuple "8196" (tuple "0"))) (associate "wide-std-framed" (tuple "8196" (tuple "2"))) (associate "appendix" (tuple "8196" (tuple "2"))) (associate "chapter-header" (tuple "8196" (tuple "0"))) (associate "input" (tuple "8200" (tuple "50" "50"))) (associate "note*" (tuple "8196" (tuple "2"))) (associate "inline-block" (tuple "8196" (tuple "2"))) (associate "doc-author-data-bis" (tuple "8196" (tuple "0"))) (associate "description-compact" (tuple "8196" (tuple "2"))) (associate "pat-group" (tuple "8454" (tuple "2" "2"))) (associate "next-appendix" (tuple "8192" (tuple))) (associate "plot-surface*" (tuple "8220" (tuple "34" "34" "34" "34" "34" "34" "34"))) (associate "math-rel" (tuple "8196" (tuple "2"))) (associate "lemma" (tuple "8196" (tuple "2"))) (associate "next-corollary" (tuple "8192" (tuple))) (associate "math-bin" (tuple "8196" (tuple "2"))) (associate "ind-display-convention" (tuple "8196" (tuple "2"))) (associate "inc-figure" (tuple "8192" (tuple))) (associate "subparagraph*" (tuple "8196" (tuple "2"))) (associate "inc-appendix" (tuple "8192" (tuple))) (associate "subsubsection-sep" (tuple "8192" (tuple))) (associate "subindex" (tuple "8200" (tuple "0" "0"))) (associate "table-of-contents*" (tuple "8204" (tuple "0" "0" "2"))) (associate "exercise-text" (tuple "8192" (tuple))) (associate "counter-section" (tuple "8192" (tuple))) (associate "display-in-figure-env" (tuple "8200" (tuple "0" "2"))) (associate "set-odd-page-header" (tuple "8196" (tuple "0"))) (associate "prologue" (tuple "8192" (tuple))) (associate "display-figure-env" (tuple "8196" (tuple "2"))) (associate "epilogue" (tuple "8192" (tuple))) (associate "counter-in-exercise-env" (tuple "8196" (tuple "0"))) (associate "normal-size" (tuple "8196" (tuple "2"))) (associate "problem" (tuple "8196" (tuple "2"))) (associate "citeauthoryear" (tuple "8200" (tuple "2" "2"))) (associate "display-in-exercise-env" (tuple "8200" (tuple "0" "2"))) (associate "pat-or*" (tuple "8196" (tuple "2"))) (associate "itemize-dot*" (tuple "8196" (tuple "2"))) (associate "inc-note" (tuple "8192" (tuple))) (associate "draw-over" (tuple "8200" (tuple "0" "2"))) (associate "part-text" (tuple "8192" (tuple))) (associate "axiom-text" (tuple "8192" (tuple))) (associate "reset-theorem-env" (tuple "8192" (tuple))) (associate "subsection-toc" (tuple "8196" (tuple "0"))) (associate "the-glossary" (tuple "8200" (tuple "0" "2"))) (associate "pat-repeat-any" (tuple "8192" (tuple))) (associate "next-doc-note" (tuple "8192" (tuple))) (associate "display-theorem-env" (tuple "8196" (tuple "2"))) (associate "warning" (tuple "8196" (tuple "2"))) (associate "inc-chapter" (tuple "8192" (tuple))) (associate "the-example" (tuple "8192" (tuple))) (associate "subparagraph-text" (tuple "8192" (tuple))) (associate "inc-subsubsection" (tuple "8192" (tuple))) (associate "long-compact-strong-dot-item" (tuple "8196" (tuple "2"))) (associate "pat-and" (tuple "8454" (tuple "2" "2"))) (associate "pat-and*" (tuple "8196" (tuple "2"))) (associate "example-text" (tuple "8192" (tuple))) (associate "next-proposition" (tuple "8192" (tuple))) (associate "enumerate-2*" (tuple "8196" (tuple "2"))) (associate "inc-exercise-env" (tuple "8192" (tuple))) (associate "the-subparagraph" (tuple "8192" (tuple))) (associate "part-prefix" (tuple "8192" (tuple))) (associate "inc-theorem" (tuple "8192" (tuple))) (associate "sectional-normal-italic" (tuple "8196" (tuple "2"))) (associate "the-table" (tuple "8192" (tuple))) (associate "glossary" (tuple "8196" (tuple "0"))) (associate "doc-abstract*" (tuple "8200" (tuple "0" "0"))) (associate "display-axiom" (tuple "8196" (tuple "2"))) (associate "generic-session" (tuple "8200" (tuple "0" "2"))) (associate "enumerate" (tuple "8196" (tuple "2"))) (associate "really-large" (tuple "8196" (tuple "2"))) (associate "twosuperior" (tuple "8192" (tuple))) (associate "draw-under" (tuple "8200" (tuple "2" "0"))) (associate "paragraph-title" (tuple "8196" (tuple "2"))) (associate "threequarters" (tuple "8192" (tuple))) (associate "TeXmacs-version" (tuple "8192" (tuple))) (associate "plot-surface" (tuple "8212" (tuple "34" "34" "34" "34" "34"))) (associate "ind-display-footnote" (tuple "8196" (tuple "2"))) (associate "enumerate-Roman*" (tuple "8196" (tuple "2"))) (associate "enumerate-roman*" (tuple "8196" (tuple "2"))) (associate "script-aux-1" (tuple "8200" (tuple "0" "2"))) (associate "script-aux-2" (tuple "8200" (tuple "0" "50"))) (associate "next-section" (tuple "8192" (tuple))) (associate "aligned-space-item" (tuple "8196" (tuple "2"))) (associate "counter-axiom" (tuple "8192" (tuple))) (associate "warning-text" (tuple "8192" (tuple))) (associate "proposition" (tuple "8196" (tuple "2"))) (associate "big-figure" (tuple "8200" (tuple "2" "2"))) (associate "copyleft" (tuple "8192" (tuple))) (associate "reset-equation" (tuple "8192" (tuple))) (associate "the-notation" (tuple "8192" (tuple))) (associate "paragraph-header" (tuple "8196" (tuple "0"))) (associate "ind-display-theorem-env" (tuple "8196" (tuple "2"))) (associate "reset-notation" (tuple "8192" (tuple))) (associate "reset-lemma" (tuple "8192" (tuple))) (associate "tag" (tuple "8200" (tuple "0" "2"))) (associate "inc-problem" (tuple "8192" (tuple))) (associate "unfolded-grouped" (tuple "8200" (tuple "2" "2"))) (associate "subsubsection" (tuple "8196" (tuple "2"))) (associate "subsubsection-numbered-title" (tuple "8196" (tuple "2"))) (associate "yen" (tuple "8192" (tuple))) (associate "reset-part" (tuple "8192" (tuple))) (associate "math-open" (tuple "8196" (tuple "2"))) (associate "var" (tuple "8196" (tuple "2"))) (associate "samp" (tuple "8196" (tuple "2"))) (associate "det" (tuple "8196" (tuple "2"))) (associate "mu" (tuple "8192" (tuple))) (associate "set-page-number" (tuple "8196" (tuple "0"))) (associate "reset-remark" (tuple "8192" (tuple))) (associate "inc-paragraph" (tuple "8192" (tuple))) (associate "counter-theorem-env" (tuple "8192" (tuple))) (associate "sectional-centered-italic" (tuple "8196" (tuple "2"))) (associate "itemize-arrow*" (tuple "8196" (tuple "2"))) (associate "counter-convention" (tuple "8192" (tuple))) (associate "display-part" (tuple "8196" (tuple "0"))) (associate "counter-remark" (tuple "8192" (tuple))) (associate "index-2*" (tuple "8196" (tuple "2"))) (associate "reset-figure" (tuple "8192" (tuple))) (associate "converter-output" (tuple "8204" (tuple "0" "0" "2"))) (associate "reset-warning" (tuple "8192" (tuple))) (associate "chapter-sep" (tuple "8192" (tuple))) (associate "remark" (tuple "8196" (tuple "2"))) (associate "set-page-number-macro" (tuple "8196" (tuple "0"))) (associate "ind-counter-corollary" (tuple "8192" (tuple))) (associate "ind-counter-footnote" (tuple "8192" (tuple))) (associate "pat-several-any" (tuple "8196" (tuple "34"))) (associate "converter-eval" (tuple "8200" (tuple "18" "50"))) (associate "counter-figure" (tuple "8192" (tuple))) (associate "reset-table" (tuple "8192" (tuple))) (associate "definition-text" (tuple "8192" (tuple))) (associate "ind-counter-convention" (tuple "8192" (tuple))) (associate "counter-exercise-env" (tuple "8192" (tuple))) (associate "notation-text" (tuple "8192" (tuple))) (associate "next-remark" (tuple "8192" (tuple))) (associate "conjecture-text" (tuple "8192" (tuple))) (associate "part-header" (tuple "8196" (tuple "0"))) (associate "the-remark" (tuple "8192" (tuple))) (associate "reset-doc-note" (tuple "8192" (tuple))) (associate "TeXmacs-version-release" (tuple "8196" (tuple "0"))) (associate "next-warning" (tuple "8192" (tuple))) (associate "description-long*" (tuple "8196" (tuple "2"))) (associate "ind-display-axiom" (tuple "8196" (tuple "2"))) (associate "section-header" (tuple "8196" (tuple "0"))) (associate "counter-example" (tuple "8192" (tuple))) (associate "pat-compound" (tuple "8454" (tuple "2" "2"))) (associate "pat-compound*" (tuple "8196" (tuple "2"))) (associate "math-ord" (tuple "8196" (tuple "2"))) (associate "smash-bottom" (tuple "8196" (tuple "2"))) (associate "next-figure" (tuple "8192" (tuple))) (associate "ind-counter-example" (tuple "8192" (tuple))) (associate "counter-appendix" (tuple "8192" (tuple))) (associate "the-figure" (tuple "8192" (tuple))) (associate "subsubsection-text" (tuple "8192" (tuple))) (associate "subsubindex" (tuple "8204" (tuple "0" "0" "0"))) (associate "counter-in-theorem-env" (tuple "8196" (tuple "0"))) (associate "warning*" (tuple "8196" (tuple "2"))) (associate "enumerate-Roman" (tuple "8196" (tuple "2"))) (associate "appendix-numbered-title" (tuple "8196" (tuple "2"))) (associate "slides-block" (tuple "8450" (tuple "0"))) (associate "aligned-bracket-item" (tuple "8196" (tuple "2"))) (associate "indent" (tuple "8196" (tuple "2"))) (associate "ind-counter-theorem-env" (tuple "8192" (tuple))) (associate "paragraph-numbered-title" (tuple "8196" (tuple "2"))) (associate "counter-in-figure-env" (tuple "8196" (tuple "0"))) (associate "author-from-authors*" (tuple "8196" (tuple "2"))) (associate "the-note" (tuple "8192" (tuple))) (associate "display-appendix" (tuple "8196" (tuple "0"))) (associate "blanc-page" (tuple "8192" (tuple))) (associate "proof" (tuple "8196" (tuple "2"))) (associate "index-line" (tuple "8200" (tuple "0" "0"))) (associate "pat-match" (tuple "8196" (tuple "2"))) (associate "ind-display-exercise-env" (tuple "8196" (tuple "2"))) (associate "enumerate-1" (tuple "8196" (tuple "2"))) (associate "ind-counter-table" (tuple "8192" (tuple))) (associate "enumerate-2" (tuple "8196" (tuple "2"))) (associate "enumerate-3" (tuple "8196" (tuple "2"))) (associate "flat-size" (tuple "8196" (tuple "2"))) (associate "ind-counter-theorem" (tuple "8192" (tuple))) (associate "inc-item" (tuple "8192" (tuple))) (associate "next-part" (tuple "8192" (tuple))) (associate "very-tiny" (tuple "8196" (tuple "2"))) (associate "reset-conjecture" (tuple "8192" (tuple))) (associate "exercise*" (tuple "8196" (tuple "2"))) (associate "subsection-clean" (tuple "8192" (tuple))) (associate "counter-doc-note" (tuple "8192" (tuple))) (associate "subsection*" (tuple "8196" (tuple "2"))) (associate "display-paragraph" (tuple "8196" (tuple "2"))) (associate "smash" (tuple "8196" (tuple "2"))) (associate "stack" (tuple "8196" (tuple "2"))) (associate "session" (tuple "8196" (tuple "2"))) (associate "set-this-page-footer" (tuple "8196" (tuple "0"))) (associate "reset-example" (tuple "8192" (tuple))) (associate "math-op" (tuple "8196" (tuple "2"))) (associate "mutator" (tuple "8200" (tuple "2" "0"))) (associate "inc-axiom" (tuple "8192" (tuple))) (associate "pat-range" (tuple "8200" (tuple "2" "2"))) (associate "the-proposition" (tuple "8192" (tuple))) (associate "enumerate-3*" (tuple "8196" (tuple "2"))) (associate "exercise" (tuple "8196" (tuple "2"))) (associate "doc-author-data*" (tuple "8196" (tuple "0"))) (associate "inc-std-env" (tuple "8192" (tuple))) (associate "math-close" (tuple "8196" (tuple "2"))) (associate "verse" (tuple "8196" (tuple "2"))) (associate "glossary-line" (tuple "8196" (tuple "0"))) (associate "part-toc" (tuple "8196" (tuple "0"))) (associate "currency" (tuple "8192" (tuple))) (associate "next-exercise" (tuple "8192" (tuple))) (associate "display-doc-note" (tuple "8196" (tuple "2"))) (associate "folded-padded-normal" (tuple "8204" (tuple "0" "0" "2"))) (associate "the-theorem" (tuple "8192" (tuple))) (associate "reset-definition" (tuple "8192" (tuple))) (associate "render-exercise" (tuple "8200" (tuple "2" "2"))) (associate "abstract" (tuple "8196" (tuple "2"))) (associate "set-header" (tuple "8196" (tuple "0"))) (associate "next-example" (tuple "8192" (tuple))) (associate "inc-exercise" (tuple "8192" (tuple))) (associate "subparagraph-clean" (tuple "8192" (tuple))) (associate "subsubsection-header" (tuple "8196" (tuple "0"))) (associate "rightflush" (tuple "8192" (tuple))) (associate "itemize-1*" (tuple "8196" (tuple "2"))) (associate "counter-problem" (tuple "8192" (tuple))) (associate "appendix-prefix" (tuple "8192" (tuple))) (associate "ind-counter-problem" (tuple "8192" (tuple))) (associate "subsection-numbered-title" (tuple "8196" (tuple "2"))) (associate "proposition*" (tuple "8196" (tuple "2"))) (associate "appendix-toc" (tuple "8196" (tuple "0"))) (associate "display-in-std-env" (tuple "8200" (tuple "0" "2"))) (associate "render-theorem" (tuple "8200" (tuple "2" "2"))) (associate "generic-errput" (tuple "8196" (tuple "2"))) (associate "ind-display-table" (tuple "8196" (tuple "2"))) (associate "counter-proposition" (tuple "8192" (tuple))) (associate "summarized-grouped" (tuple "8200" (tuple "2" "0"))) (associate "subsubsubindex" (tuple "8208" (tuple "0" "0" "0" "0"))) (associate "next-lemma" (tuple "8192" (tuple))) (associate "generic-input" (tuple "8200" (tuple "2" "2"))) (associate "appendix-title" (tuple "8196" (tuple "0"))) (associate "kbd" (tuple "8196" (tuple "2"))) (associate "display-subsubsection" (tuple "8196" (tuple "2"))) (associate "really-small" (tuple "8196" (tuple "2"))) (associate "display-std-env" (tuple "8196" (tuple "2"))) (associate "generic-output" (tuple "8196" (tuple "2"))) (associate "dfn" (tuple "8196" (tuple "2"))) (associate "display-theorem" (tuple "8196" (tuple "2"))) (associate "euro" (tuple "8192" (tuple))) (associate "corollary" (tuple "8196" (tuple "2"))) (associate "abbr" (tuple "8196" (tuple "2"))) (associate "part" (tuple "8196" (tuple "2"))) (associate "cent" (tuple "8192" (tuple))) (associate "table-text" (tuple "8192" (tuple))) (associate "section-sep" (tuple "8192" (tuple))) (associate "glossary-1" (tuple "8200" (tuple "2" "2"))) (associate "tiny" (tuple "8196" (tuple "2"))) (associate "glossary-2" (tuple "8204" (tuple "2" "2" "2"))) (associate "next-subsection" (tuple "8192" (tuple))) (associate "ind-display-theorem" (tuple "8196" (tuple "2"))) (associate "subparagraph-header" (tuple "8196" (tuple "0"))) (associate "axiom" (tuple "8196" (tuple "2"))) (associate "align" (tuple "8196" (tuple "34"))) (associate "description-dash*" (tuple "8196" (tuple "2"))) (associate "set-even-page-header" (tuple "8196" (tuple "0"))) (associate "pat-or" (tuple "8454" (tuple "2" "2"))) (associate "unfolded-env" (tuple "8200" (tuple "2" "2"))) (associate "paragraph-display-numbers" (tuple "8192" (tuple))) (associate "convention" (tuple "8196" (tuple "2"))) (associate "next-conjecture" (tuple "8192" (tuple))) (associate "counter-note" (tuple "8192" (tuple))) (associate "binom" (tuple "8200" (tuple "2" "2"))) (associate "section-numbered-title" (tuple "8196" (tuple "2"))) (associate "counter-auto" (tuple "8192" (tuple))) (associate "subsection-header" (tuple "8196" (tuple "0"))) (associate "subsection-title" (tuple "8196" (tuple "2"))) (associate "ind-counter-remark" (tuple "8192" (tuple))) (associate "vphantom" (tuple "8196" (tuple "0"))) (associate "inc-proposition" (tuple "8192" (tuple))) (associate "index-3*" (tuple "8196" (tuple "2"))) (associate "hphantom" (tuple "8196" (tuple "0"))) (associate "equation" (tuple "8196" (tuple "34"))) (associate "notation" (tuple "8196" (tuple "2"))) (associate "bibliography*" (tuple "8212" (tuple "0" "0" "0" "0" "2"))) (associate "leqnarray" (tuple "8196" (tuple "34"))) (associate "person" (tuple "8196" (tuple "2"))) (associate "index-complex" (tuple "8208" (tuple "0" "0" "0" "0"))) (associate "description-aligned" (tuple "8196" (tuple "2"))) (associate "very-small" (tuple "8196" (tuple "2"))) (associate "src-integer" (tuple "8196" (tuple "2"))) (associate "next-table" (tuple "8192" (tuple))) (associate "inc-conjecture" (tuple "8192" (tuple))) (associate "script-input" (tuple "8208" (tuple "2" "2" "2" "2"))) (associate "address-block" (tuple "8196" (tuple "2"))) (associate "inc-subsection" (tuple "8192" (tuple))) (associate "doc-data-main" (tuple "8450" (tuple "0"))) (associate "document-block" (tuple "8450" (tuple "0"))) (associate "ind-counter-figure" (tuple "8192" (tuple))) (associate "traversed" (tuple "8196" (tuple "2"))) (associate "next-definition" (tuple "8192" (tuple))) (associate "next-notation" (tuple "8192" (tuple))) (associate "choice" (tuple "8196" (tuple "2"))) (associate "choose" (tuple "8200" (tuple "2" "2"))) (associate "the-conjecture" (tuple "8192" (tuple))) (associate "inc-equation" (tuple "8192" (tuple))) (associate "cite-detail" (tuple "8200" (tuple "0" "2"))) (associate "paragraph-clean" (tuple "8192" (tuple)))))