Section 8 Grouping Samples

<section xml:id="block-samples" xmlns:pi="http://pretextbook.org/2020/pretext/internal">

  <title>Grouping Samples</title>

  <introduction>

    <p>
      While building or testing a rendering of PreTeXt, especially in HTML, it can be useful to see all the various elements that potentially create visual blocks in one place.
      So they are collected here.
    </p>

    <p>
      We will omit content specific blocks like figures, images, tables, <etc/> as those elements have significant stress testing of their own elsewhere.
    </p>

    <p>
      Please add any similar elements that are created or that you discover are missing from this page.
    </p>

    <aside>

    <title>A title</title>

    <p>
      There are more <tag>aside</tag>es below, but here is a solor one.
    </p>

    </aside>

  </introduction>

  <objectives>

    <title>Our goals</title>

    <introduction>

      <p>
        A minimal <tag>objective</tag>.
      </p>

    </introduction>

    <ul>

      <li>
        Stress test HTML themes
      </li>

      <li>
        Locally, test objectives
      </li>

    </ul>

  </objectives>

  <subsection xml:id="block-samples-remark-like">

    <title>Remark-like Blocks</title>

    <remark>

      <title>A title</title>

      <p>
        A minimal <tag>remark</tag>.
      </p>

    </remark>

    <convention>

    <title>A title</title>

    <p>
      A minimal <tag>convention</tag>.
    </p>

    </convention>

    <note>

      <title>A title</title>

      <p>
        A minimal <tag>note</tag>.
      </p>

    </note>

    <observation>

    <title>A title</title>

    <p>
      A minimal <tag>observation</tag>.
    </p>

    </observation>

    <warning>

      <title>A title</title>

      <p>
        A minimal <tag>warning</tag>.
      </p>

    </warning>

    <insight>

      <title>A title</title>

      <p>
        A minimal <tag>insight</tag>.
      </p>

    </insight>

  </subsection>

  <subsection xml:id="block-samples-example-like">

    <title>Example-like Blocks</title>

    <example>

      <title>A title</title>

      <p>
        A minimal <tag>example</tag>.
      </p>

    </example>

    <example>

      <title>A title</title>

      <introduction>

        <p>
          A structured <tag>example</tag>.
        </p>

      </introduction>

      <task>

        <statement>

          <p>
            A structured <tag>example</tag>.
          </p>

        </statement>

        <hint>

          <p>
            A <tag>hint</tag>
          </p>

        </hint>

        <answer>

          <p>
            An <tag>answer</tag>
          </p>

        </answer>

        <solution>

          <p>
            A <tag>solution</tag>
          </p>

        </solution>

      </task>

      <conclusion>

        <p>
          The <tag>conclusion</tag>.
        </p>

      </conclusion>

    </example>

    <question>

      <title>A title</title>

      <p>
        A minimal <tag>question</tag>.
      </p>

    </question>

    <problem>

      <title>A title</title>

      <p>
        A minimal <tag>problem</tag>.
      </p>

    </problem>

    <observation>

    <title>A title</title>

    <p>
      A minimal <tag>observation</tag>.
    </p>

    </observation>

    <warning>

      <title>A title</title>

      <p>
        A minimal <tag>warning</tag>.
      </p>

    </warning>

    <insight>

      <title>A title</title>

      <p>
        A minimal <tag>insight</tag>.
      </p>

    </insight>

  </subsection>

  <subsection xml:id="block-samples-theorem-like">

    <title>Theorem-like Blocks</title>

    <theorem>

      <title>A title</title>

      <p>
        A minimal <tag>theorem</tag>.
      </p>

    </theorem>

    <theorem>

      <title>A title</title>

      <statement>

        <p>
          A theorem with a proof.
        </p>

      </statement>

      <proof>

        <p>
          The proof of the theorem.
        </p>

      </proof>

    </theorem>

    <theorem>

      <title>A title</title>

      <statement>

        <p>
          A theorem with an <tag>argument</tag>, a proof-like alternate.
        </p>

      </statement>

      <argument>

      <p>
        The argument for the theorem.
      </p>

      </argument>

    </theorem>

    <theorem>

      <title>A title</title>

      <statement>

        <p>
          A theorem with a <tag>reasoning</tag>, a proof-like alternate.
        </p>

      </statement>

      <reasoning>

      <p>
        The reasoning for the theorem.
      </p>

      </reasoning>

    </theorem>

    <theorem>

      <title>A title</title>

      <statement>

        <p>
          A theorem with an <tag>explanation</tag>, a proof-like alternate.
        </p>

      </statement>

      <explanation>

      <p>
        The explanation of the theorem.
      </p>

      </explanation>

    </theorem>

    <corollary>

      <title>A title</title>

      <p>
        A minimal <tag>corollary</tag>.
      </p>

    </corollary>

    <lemma>

      <title>A title</title>

      <p>
        A minimal <tag>lemma</tag>.
      </p>

    </lemma>

    <algorithm>

      <title>A title</title>

      <p>
        A minimal <tag>algorithm</tag>.
      </p>

    </algorithm>

    <proposition>

      <title>A title</title>

      <p>
        A minimal <tag>proposition</tag>.
      </p>

    </proposition>

    <claim>

      <title>A title</title>

      <p>
        A minimal <tag>claim</tag>.
      </p>

    </claim>

    <fact>

      <title>A title</title>

      <p>
        A minimal <tag>fact</tag>.
      </p>

    </fact>

    <identity>

    <title>A title</title>

    <p>
      A minimal <tag>identity</tag>.
    </p>

    </identity>

    <proof>

      <title>A title</title>

      <p>
        A stand-alone proof.
      </p>

    </proof>

  </subsection>

  <subsection xml:id="block-samples-axiom-like">

    <title>Axiom-like Blocks</title>

    <axiom>

      <title>A title</title>

      <statement>

        <p>
          A minimal <tag>axiom</tag>.
        </p>

      </statement>

    </axiom>

    <conjecture>

      <title>A title</title>

      <statement>

        <p>
          A minimal <tag>conjecture</tag>.
        </p>

      </statement>

    </conjecture>

    <principle>

      <title>A title</title>

      <statement>

        <p>
          A minimal <tag>principle</tag>.
        </p>

      </statement>

    </principle>

    <heuristic>

    <title>A title</title>

    <statement>

      <p>
        A minimal <tag>heuristic</tag>.
      </p>

    </statement>

    </heuristic> <hypothesis>

    <title>A title</title>

    <statement>

      <p>
        A minimal <tag>hypothesis</tag>.
      </p>

    </statement>

    </hypothesis> <assumption>

    <title>A title</title>

    <statement>

      <p>
        A minimal <tag>assumption</tag>.
      </p>

    </statement>

    </assumption>

  </subsection>

  <subsection xml:id="block-samples-definition-like">

    <title>Definition-like Blocks</title>

    <definition>

      <title>A title</title>

      <statement>

        <p>
          A minimal <tag>definition</tag>.
        </p>

      </statement>

    </definition>

  </subsection>

  <subsection xml:id="block-samples-aside-like">

    <title>Aside-like Blocks</title>

    <p>
      Three <tag>aside</tag>s are below.
    </p>

    <aside>

    <title>A title</title>

    <p>
      A minimal <tag>aside</tag>.
    </p>

    </aside> <biographical>

    <title>A title</title>

    <p>
      A minimal <tag>biographical</tag>.
    </p>

    </biographical> <biographical>

    <title>A title</title>

    <p>
      A minimal <tag>biographical</tag>.
    </p>

    </biographical> <historical>

    <title>A title</title>

    <p>
      A minimal <tag>historical</tag>.
    </p>

    </historical>

  </subsection>

  <subsection xml:id="block-samples-computation-like">

    <title>Computation-like Blocks</title>

    <computation>

    <title>A title</title>

    <p>
      A minimal <tag>computation</tag>.
    </p>

    </computation>

    <technology>

      <title>A title</title>

      <p>
        A minimal <tag>technology</tag>.
      </p>

    </technology>

    <data>

    <title>A title</title>

    <p>
      A minimal <tag>data</tag>.
    </p>

    </data>

  </subsection>

  <subsection xml:id="block-samples-project-like">

    <title>Project-like Blocks</title>

    <project>

      <title>A title</title>

      <p>
        A minimal <tag>project</tag>.
      </p>

    </project>

    <activity>

      <title>A title</title>

      <p>
        A minimal <tag>activity</tag>.
      </p>

    </activity>

    <exploration>

      <title>A title</title>

      <p>
        A minimal <tag>exploration</tag>.
      </p>

    </exploration>

    <investigation>

      <title>A title</title>

      <p>
        A minimal <tag>investigation</tag>.
      </p>

    </investigation>

  </subsection>

  <subsection xml:id="block-samples-closing-with-blocks" label="block-samples-closing-with-blocks">

    <title>Blocks Closing with a List or a Display</title>

    <p>
      Some blocks end with a mark, such as the filled square that closes a proof.
      In print the mark rides the last line of the block's final paragraph, pushed to the right margin.
      A paragraph may also hold a list, a code display, or displayed mathematics, and then the mark cannot ride the paragraph's last line without disturbing the layout of the paragraph and of the list, so it takes a line of its own.
      Each block here ends with such a paragraph.
    </p>

    <example>

      <title>Closing with a Bulleted List</title>

      <p>
        This <tag>example</tag> ends with a paragraph whose final child is an unordered list, and the first item has two words so that a justified last line would be visible.
        <ul>

          <li>

            <p>
              first item
            </p>

          </li>

          <li>

            <p>
              second
            </p>

          </li>

          <li>

            <p>
              third
            </p>

          </li>

        </ul>

      </p>

    </example>

    <example>

      <title>A List, Then More Text</title>

      <p>
        Here the paragraph continues after the list, so its last line is running text, but the list is still inside the paragraph.
        <ol>

          <li>

            <p>
              one item
            </p>

          </li>

          <li>

            <p>
              another item
            </p>

          </li>

        </ol>

        The paragraph resumes here and ends with words, not a list.
      </p>

    </example>

    <example>

      <title>Closing with a Code Display</title>

      <p>
        A paragraph can also end with a <tag>cd</tag>, a short display of code, as in
        <cd>

        <cline>print("the last thing")</cline>

        </cd>

      </p>

    </example>

    <example>

      <title>Closing with Displayed Mathematics</title>

      <p>
        And a paragraph can end with displayed mathematics, the case that has always placed the mark on its own line, given here for comparison:
        <md>

          <mrow>a^2 + b^2 \amp = c^2</mrow>

        </md>

      </p>

    </example>

    <definition>

      <title>A Statement Closing with a Description List</title>

      <statement>

        <p>
          A <term>closing list</term> is a list that is the final child of a block's final paragraph, of any of three kinds; here the paragraph closes a <tag>statement</tag>.<dl>
          <li>

            <title>ordered</title>

            <p>
              numbered or lettered
            </p>

          </li>

          <li>

            <title>unordered</title>

            <p>
              bulleted
            </p>

          </li>

          <li>

            <title>description</title>

            <p>
              this one, with a term for each item
            </p>

          </li>

          </dl>

        </p>

      </statement>

    </definition>

    <theorem>

      <title>A Proof Closing with a List</title>

      <statement>

        <p>
          Every proof that ends with a list is followed by its mark on a line of its own.
        </p>

      </statement>

      <proof>

        <p>
          The proof has two cases.
          <ol>

            <li>

              <p>
                The proof ends with running text, and the mark rides its last line.
              </p>

            </li>

            <li>

              <p>
                The proof ends with a list, as this one does, and the mark takes the next line.
              </p>

            </li>

          </ol>

        </p>

      </proof>

    </theorem>

  </subsection>

  <subsection>

    <title>Miscellaneous Blocks</title>

    <assemblage>

      <p>
        A minimal <tag>assemblage</tag>.
      </p>

    </assemblage>

    <aside>

    <title>A title</title>

    <p>
      A final <tag>aside</tag> to test behavior towards the end of a page.
      Lorem ipsum dolor sit amet, consectetur adipiscing elit, sed do eiusmod tempor incididunt ut labore et dolore magna aliqua.
      Ut enim ad minim veniam, quis nostrud exercitation ullamco laboris nisi ut aliquip ex ea commodo consequat.
      Duis aute irure dolor in reprehenderit in voluptate velit esse cillum dolore eu fugiat nulla pariatur.
      Excepteur sint occaecat cupidatat non proident, sunt in culpa qui officia deserunt mollit anim id est laborum.
    </p>

    </aside>

  </subsection>

  <outcomes>

    <title>Our results</title>

    <introduction>

      <p>
        A minimal <tag>outcome</tag>.
      </p>

    </introduction>

    <ul>

      <li>
        Stress test HTML themes
      </li>

      <li>
        Locally, test outcomes
      </li>

    </ul>

  </outcomes>

  <conclusion>

    <p>
      A minimal <tag>conclusion</tag>.
    </p>

  </conclusion>

</section>