<TeXmacs|1.0.0.17>

<style|tmdoc>

<\body>
  <expand|tmdoc-title|Default environments>

  The <tmdtd|env-default> <abbr|d.t.d.> contains the default textual
  environments. They are subdivided into the following groups:

  <\description>
    <expand|item*|Variants of theorems.>The bodies of theorem-like
    environments are usually emphasized. By default, the following such
    environments are available via <apply|menu|Text|Environment>:
    <markup|theorem>, <markup|proposition>, <markup|lemma>,
    <markup|corollary>, <markup|axiom>, <markup|definition>,
    <markup|notation>, <markup|conjecture>.

    <expand|item*|Variants of remarks.>The following ones are available via
    <apply|menu|Text|Environment>: <markup|remark>, <markup|example>,
    <markup|note>, <markup|warning>, <markup|convention>.

    <expand|item*|Variants of exercises.>Two such environments are provided
    by default and available via <apply|menu|Text|Environment>:
    <markup|exercise> and <markup|problem>.

    <expand|item*|Variants of figures.>These environments always come by
    pairs: big and small ones. By default, we provide <markup|big-figure>,
    <markup|small-figure>, <markup|big-table> and <markup|small-table>. You
    can access them through <apply|menu|Insert|Image> and
    <apply|menu|Insert|Table>.

    <expand|item*|Other useful environments.>We provide <markup|keywords> and
    <markup|AMS-class> (for the <abbr|A.M.S.> subject classification). These
    environments should be entered at the interior of an <markup|abstract>.
  </description>

  <apply|tmdoc-copyright|1998--2002|Joris van der Hoeven>

  <expand|tmdoc-license|Permission is granted to copy, distribute and/or
  modify this document under the terms of the GNU Free Documentation License,
  Version 1.1 or any later version published by the Free Software Foundation;
  with no Invariant Sections, with no Front-Cover Texts, and with no
  Back-Cover Texts. A copy of the license is included in the section entitled
  "GNU Free Documentation License".>
</body>

<\initial>
  <\collection>
    <associate|paragraph width|150mm>
    <associate|odd page margin|30mm>
    <associate|shrinking factor|4>
    <associate|page right margin|30mm>
    <associate|page top margin|30mm>
    <associate|reduction page right margin|25mm>
    <associate|page type|a4>
    <associate|reduction page bottom margin|15mm>
    <associate|even page margin|30mm>
    <associate|reduction page left margin|25mm>
    <associate|page bottom margin|30mm>
    <associate|reduction page top margin|15mm>
    <associate|language|english>
  </collection>
</initial>
