<?xml version="1.0" encoding="UTF-8"?>
<?latexml class="article"?>
<?latexml package="theorem"?>
<?latexml RelaxNGSchema="LaTeXML"?>
<document xmlns="http://dlmf.nist.gov/LaTeXML">
  <resource src="LaTeXML.css" type="text/css"/>
  <resource src="ltx-article.css" type="text/css"/>
  <theorem class="ltx_theorem_Cor" inlist="thm theorem:Cor" xml:id="ThmCor1">
    <tags>
      <tag>Corollary 1</tag>
      <tag role="refnum">1</tag>
      <tag role="typerefnum">Corollary 1</tag>
    </tags>
    <title><tag><text font="smallcaps">Corollary 1</text></tag></title>
    <para xml:id="ThmCor1.p1">
      <p><text font="slanted">This is a sentence typeset in the theorem environment <text font="typewriter">Cor</text>.</text></p>
    </para>
  </theorem>
  <theorem class="ltx_theorem_Exa" inlist="thm theorem:Exa" xml:id="S0.ThmExa1">
    <tags>
      <tag>Example 0.1</tag>
      <tag role="refnum">0.1</tag>
      <tag role="typerefnum">Example 0.1</tag>
    </tags>
    <title class="ltx_runin"><tag><text font="smallcaps">Example 0.1</text></tag></title>
    <para xml:id="S0.ThmExa1.p1">
      <p><text font="italic">This is a sentence typeset in the theorem environment <text font="typewriter">Exa</text>.</text></p>
    </para>
  </theorem>
  <theorem class="ltx_theorem_Rem" inlist="thm theorem:Rem" xml:id="ThmRem1">
    <tags>
      <tag>Remark 1</tag>
      <tag role="refnum">1</tag>
      <tag role="typerefnum">Remark 1</tag>
    </tags>
    <title class="ltx_runin"><tag><text font="smallcaps">Remark 1</text></tag></title>
    <para xml:id="ThmRem1.p1">
      <p>This is a sentence typeset in the theorem environment <text font="typewriter">Rem</text>.</p>
    </para>
  </theorem>
  <theorem class="ltx_theorem_Lem" inlist="thm theorem:Lem" xml:id="ThmCor2">
    <tags>
      <tag>2 Lemma</tag>
      <tag role="refnum">2</tag>
      <tag role="typerefnum">Lemma 2</tag>
    </tags>
    <title class="ltx_outdent"><tag><text font="smallcaps">2 Lemma</text></tag><text font="smallcaps"> (Ben User)</text></title>
    <para xml:id="ThmCor2.p1">
      <p><text font="slanted">This is a sentence typeset in the theorem environment <text font="typewriter">Lem</text>.</text></p>
    </para>
  </theorem>
  <theorem class="ltx_theorem_Def" inlist="thm theorem:Def" xml:id="ThmCor3">
    <tags>
      <tag>3 Definition</tag>
      <tag role="refnum">3</tag>
      <tag role="typerefnum">Definition 3</tag>
    </tags>
    <title class="ltx_runin"><tag><text font="smallcaps">3 Definition</text></tag><text font="smallcaps"> (Very impressive Definition)</text></title>
    <para xml:id="ThmCor3.p1">
      <p><text font="italic">This is a sentence typeset in the theorem environment <text font="typewriter">Def</text>.</text></p>
    </para>
  </theorem>
  <section inlist="toc" xml:id="S1">
    <tags>
      <tag>1</tag>
      <tag role="refnum">1</tag>
      <tag role="typerefnum">§1</tag>
    </tags>
    <title><tag close=" ">1</tag>Checking Order</title>
    <theorem class="ltx_theorem_theorem" inlist="thm theorem:theorem" xml:id="S1.Thmtheorem1">
      <tags>
        <tag>1.1 Theorem</tag>
        <tag role="refnum">1.1</tag>
        <tag role="typerefnum">Theorem 1.1</tag>
      </tags>
      <title class="ltx_runin"><tag><text font="smallcaps">1.1 Theorem</text></tag></title>
      <para xml:id="S1.Thmtheorem1.p1">
        <p><text font="italic">A theorem</text></p>
      </para>
    </theorem>
    <theorem class="ltx_theorem_definition" inlist="thm theorem:definition" xml:id="S1.Thmdefinition1">
      <tags>
        <tag>Definition 1.1</tag>
        <tag role="refnum">1.1</tag>
        <tag role="typerefnum">Definition 1.1</tag>
      </tags>
      <title class="ltx_runin"><tag><text font="smallcaps">Definition 1.1</text></tag></title>
      <para xml:id="S1.Thmdefinition1.p1">
        <p>A definition</p>
      </para>
    </theorem>
  </section>
</document>