<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Lambdoc document</title><meta charset="utf-8"/><link rel="stylesheet" href="css/lambdoc.css" media="all" title="Default"/></head><body><div class="doc doc_valid"><h1 id="doc:a:1" class="doc_sec"><span class="doc_order">1</span><span>Paragraphs and inline formatting</span></h1><p class="doc_par">You can format text in <b class="doc_bold">bold</b>, or just <i class="doc_emph">emphasised</i> if you prefer.  It is also possible to enter <span class="doc_src_inline">raw code</span> and <code class="doc_mono">monospaced text</code>.  Superscripts are handy to typeset ordinals such as 1<sup class="doc_sup">st</sup>, 2<sup class="doc_sup">nd</sup>, etc.  Subscripts also have practical applications: how else would you typeset H<sub class="doc_sub">2</sub>O?  You may also enter links: please check <a class="doc_lnk" href="http://localhost:8080/">http://localhost:8080/</a> or <a class="doc_lnk" href="http://localhost:8080/">Localhost</a> now. You can also embed TeX mathematics in an inline context: <span class="doc_math_inl"><math
xmlns="http://www.w3.org/1998/Math/MathML"
><mrow
><mi
>y</mi
><mo
lspace="0.278em"
rspace="0.278em"
>=</mo
><msup
><mi
>x</mi
><mn
>2</mn
></msup
></mrow
></math
></span>.</p><p class="doc_par">It is possible to enter HTML entities either by name (<span class="doc_src_inline">&amp;euro;</span> produces '€'), by decimal code point (<span class="doc_src_inline">&amp;#8364;</span> produces '€'), or by hexadecimal code point (<span class="doc_src_inline">&amp;#x20ac;</span> produces '€').  You can also enter en-dashes (<span class="doc_src_inline">--</span> produces '–'), em-dashes (<span class="doc_src_inline">---</span> produces '—'), and proper double quotes (ex: “hello”). The input charset is <code class="doc_mono">utf-8</code>, so you can — for example — enter Japanese characters directly: おなかがいっぱいですからなにもたべたくないです.</p><h1 id="doc:a:2" class="doc_sec"><span class="doc_order">2</span><span>Lists</span></h1><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><ol class="doc_enumerate"><li class="doc_item"><p class="doc_par">This is the first reason;</p></li><li class="doc_item"><p class="doc_par">This is the second reason; it is okay to break a line within each item.</p></li><li class="doc_item"><p class="doc_par">The third reason has a number of sub-clauses:</p><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">Alpha</p></li><li class="doc_item"><p class="doc_par">Beta</p></li><li class="doc_item"><p class="doc_par">Gamma</p></li></ul></li><li class="doc_item"><p class="doc_par">And here is the fourth and final reason.</p></li></ol><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">Alpha</p></li><li class="doc_item"><p class="doc_par">Beta</p><ol class="doc_enumerate"><li class="doc_item"><p class="doc_par">One</p></li><li class="doc_item"><p class="doc_par">Two</p></li><li class="doc_item"><p class="doc_par">Three</p><ul class="doc_itemize"><li class="doc_item"><p class="doc_par">Aleph</p></li><li class="doc_item"><p class="doc_par">Beth</p></li><li class="doc_item"><p class="doc_par">Gimel</p></li></ul></li><li class="doc_item"><p class="doc_par">Four</p></li><li class="doc_item"><p class="doc_par">Five</p></li></ol></li><li class="doc_item"><p class="doc_par">Gamma</p></li><li class="doc_item"><p class="doc_par">Delta</p></li></ul><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h1 id="doc:a:3" class="doc_sec"><span class="doc_order">3</span><span>Quotations</span></h1><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><blockquote class="doc_quote"><blockquote class="doc_quote"><p class="doc_par">The quick bron fox jumps over the lazy dog. The quick bron fox jumps over the lazy dog. The quick bron fox jumps over the lazy dog.</p></blockquote><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p></blockquote><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h1 id="doc:a:4" class="doc_sec"><span class="doc_order">4</span><span>This is a level 1 section</span></h1><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h2 id="doc:a:5" class="doc_sec"><span class="doc_order">4.1</span><span>This is a level 2 section</span></h2><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h3 id="doc:a:6" class="doc_sec"><span class="doc_order">4.1.1</span><span>This is a level 3 section</span></h3><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h4 id="doc:a:7" class="doc_sec"><span class="doc_order">4.1.1.1</span><span>This is a level 4 section</span></h4><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h5 id="doc:a:8" class="doc_sec"><span class="doc_order">4.1.1.1.1</span><span>This is a level 5 section</span></h5><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h6 id="doc:a:9" class="doc_sec"><span class="doc_order">4.1.1.1.1.1</span><span>This is a level 6 section</span></h6><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h1 id="doc:a:10" class="doc_sec"><span class="doc_order">5</span><span>Math environments</span></h1><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><div class="doc_math_blk"><math
xmlns="http://www.w3.org/1998/Math/MathML"
><mrow
><mi
>x</mi
><mo
lspace="0.278em"
rspace="0.278em"
>=</mo
><mfrac
><mrow
><msup
><mi
>a</mi
><mn
>2</mn
></msup
><mo
lspace="0"
rspace="0"
>+</mo
><msqrt
><msup
><mi
>a</mi
><mn
>2</mn
></msup
><mo
lspace="0"
rspace="0"
>+</mo
><msup
><mi
>b</mi
><mn
>2</mn
></msup
></msqrt
></mrow
><mrow
><mn
>1</mn
><mo
lspace="0"
rspace="0"
>+</mo
><msup
><mi
>y</mi
><mn
>2</mn
></msup
></mrow
></mfrac
></mrow
></math
></div><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h1 id="doc:a:11" class="doc_sec"><span class="doc_order">6</span><span>Source environments</span></h1><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><div class="doc_src_block"><pre class="doc_src_code">
<code class="doc_src_line doc_src_dummy"></code>
<code class="doc_src_line"><span class="doc_src_Kwd">type</span> 'a tree <span class="doc_src_Sym">=</span></code>
<code class="doc_src_line">    <span class="doc_src_Sym">|</span> <span class="doc_src_Type">Leaf</span></code>
<code class="doc_src_line">    <span class="doc_src_Sym">|</span> <span class="doc_src_Type">Node</span> <span class="doc_src_Kwd">of</span> 'a <span class="doc_src_Sym">*</span> 'a tree <span class="doc_src_Sym">*</span> 'a tree</code>
<code class="doc_src_line"></code>
<code class="doc_src_line"><span class="doc_src_Kwd">let</span> <span class="doc_src_Kwd">rec</span> count <span class="doc_src_Sym">=</span> <span class="doc_src_Kwd">function</span></code>
<code class="doc_src_line">    <span class="doc_src_Sym">|</span> <span class="doc_src_Type">Leaf</span>                     <span class="doc_src_Sym">-&gt;</span> <span class="doc_src_Num">0</span></code>
<code class="doc_src_line">    <span class="doc_src_Sym">|</span> <span class="doc_src_Type">Node</span> <span class="doc_src_Sym">(</span>node<span class="doc_src_Sym">,</span> left<span class="doc_src_Sym">,</span> right<span class="doc_src_Sym">)</span> <span class="doc_src_Sym">-&gt;</span> <span class="doc_src_Num">1</span> <span class="doc_src_Sym">+</span> <span class="doc_src_Sym">(</span>count left<span class="doc_src_Sym">)</span> <span class="doc_src_Sym">+</span> <span class="doc_src_Sym">(</span>count right<span class="doc_src_Sym">);;</span></code>
<code class="doc_src_line doc_src_dummy"></code></pre></div><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><h1 id="doc:a:12" class="doc_sec"><span class="doc_order">7</span><span>Verbatim environments</span></h1><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><div class="doc_pre doc_floatable"><div class="doc_pre_aux"><pre class="doc_pre_aux">       -------
       |  A  |
       -------
          |
          |
          |
         / \
        /   \
       /     \
      /       \
     /         \
    /           \
-------       -------
|  A  |       |  C  |
-------       -------</pre></div></div><p class="doc_par">Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Aenean commodo ligula eget dolor. Aenean massa. Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus mus. Donec quam felis, ultricies nec, pellentesque eu, pretium quis, sem. Nulla consequat massa quis enim. Donec pede justo, fringilla vel, aliquet nec, vulputate eget, arcu. In enim justo, rhoncus ut, imperdiet a, venenatis vitae, justo. Nullam dictum felis eu pede mollis pretium. Integer tincidunt.</p><div class="doc_pre doc_class_mult9 doc_floatable"><div class="doc_pre_aux"><pre class="doc_pre_aux">☃</pre></div></div></div></body></html>
