singleton-levels.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:xlink="http://www.w3.org/1999/xlink"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="593.02905"
   height="235.63103"
   id="svg5733"
   version="1.1"
   inkscape:version="0.48.4 r9943 custom"
   sodipodi:docname="singleton-levels.svg">
  <defs
     id="defs5735" />
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1"
     inkscape:cx="186.53685"
     inkscape:cy="165.27972"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1450"
     inkscape:window-height="908"
     inkscape:window-x="693"
     inkscape:window-y="270"
     inkscape:window-maximized="0"
     fit-margin-top="10"
     fit-margin-right="10"
     fit-margin-left="10"
     fit-margin-bottom="10" />
  <metadata
     id="metadata5738">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title></dc:title>
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(-49.470964,-20.282693)">
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#rect6306"
       xlink:href="#rect6306"
       id="use6524"
       transform="translate(-217,-36)"
       width="671.11975"
       height="227.97421" />
    <rect
       ry="11.454102"
       y="84.758659"
       x="202.61615"
       height="68"
       width="77"
       id="rect6569"
       style="opacity:0.98000004;color:#000000;fill:#ff0000;fill-opacity:0.09803922;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
    <rect
       style="opacity:0.98000004;color:#000000;fill:#e5ea55;fill-opacity:0.21111109;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6306"
       width="206"
       height="123"
       x="413"
       y="76.362183"
       ry="20.454094"
       inkscape:tile-cx="168.61963"
       inkscape:tile-cy="106.65"
       inkscape:tile-w="64"
       inkscape:tile-h="123"
       inkscape:tile-x0="136.61963"
       inkscape:tile-y0="45.15" />
    <rect
       style="opacity:0.98000004;color:#000000;fill:#ff0000;fill-opacity:0.09803922;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="rect6538"
       width="77"
       height="68"
       x="416.61615"
       y="122.75866"
       ry="11.454102" />
    <path
       style="fill:none;stroke:#000000;stroke-width:1.32953382px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
       d="m 60.135731,77.497914 571.699539,0"
       id="path5741"
       inkscape:connector-curvature="0"
       inkscape:tile-cx="275"
       inkscape:tile-cy="77.362183"
       inkscape:tile-w="430"
       inkscape:tile-h="0"
       inkscape:tile-x0="60"
       inkscape:tile-y0="77.362183" />
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#path5741"
       xlink:href="#path5741"
       id="use5743"
       transform="translate(0,40)"
       width="744.09448"
       height="1052.3622" />
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#path5741"
       xlink:href="#path5741"
       transform="translate(0,80)"
       id="use5745"
       width="744.09448"
       height="1052.3622" />
    <use
       x="0"
       y="0"
       inkscape:tiled-clone-of="#path5741"
       xlink:href="#path5741"
       transform="translate(0,120)"
       id="use5747"
       width="744.09448"
       height="1052.3622" />
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="67.362183"
       id="text5749"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5751"
         x="67"
         y="67.362183">sorts</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="107.69552"
       id="text5753"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5755"
         x="67"
         y="107.69552">kinds</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="148.02885"
       id="text5757"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5759"
         x="67"
         y="148.02885">types</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="67"
       y="188.36218"
       id="text5761"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5763"
         x="67"
         y="188.36218">values</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="213.96777"
       y="75.362183"
       id="text5765"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5767"
         x="213.96777"
         y="75.362183">Nat↝*1</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6308"
       y="110.86218"
       x="203.41309"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#007600;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="110.86218"
         x="203.41309"
         id="tspan6310"
         sodipodi:role="line">Nat Z</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6312"
       y="148.36218"
       x="226.79346"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       xml:space="preserve"><tspan
         y="148.36218"
         x="226.79346"
         id="tspan6314"
         sodipodi:role="line">Z</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="164"
       y="233.36218"
       id="text6356"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan6358"
         x="164"
         y="233.36218">multi-level singletons??</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:28px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#007600;fill-opacity:1;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="429.04395"
       y="109.87878"
       id="text5765-4"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5767-7"
         x="429.04395"
         y="109.87878">Nat↝*0</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sathu;-inkscape-font-specification:Sathu"
       x="418.85156"
       y="147.37878"
       id="text5769"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5771"
         x="418.85156"
         y="147.37878">Nat Z</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#0000ff;fill-opacity:1;stroke:none;font-family:Sathu;-inkscape-font-specification:Sathu"
       x="442.64746"
       y="184.87878"
       id="text5773"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan5775"
         x="442.64746"
         y="184.87878">Z</tspan></text>
    <use
       x="0"
       y="0"
       xlink:href="#path5741"
       id="use6522"
       transform="translate(0,-35)"
       width="671.11975"
       height="227.97421" />
    <rect
       ry="11.454102"
       y="122.75866"
       x="502.61615"
       height="68.000008"
       width="108"
       id="rect6540"
       style="opacity:0.98000004;color:#000000;fill:#ff0000;fill-opacity:0.09803922;fill-rule:nonzero;stroke:#fb0909;stroke-width:0.30000001;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate" />
    <text
       sodipodi:linespacing="125%"
       id="text6542"
       y="147.37878"
       x="510.85156"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#ff0000;fill-opacity:1;stroke:none;font-family:Sathu;-inkscape-font-specification:Sathu"
       xml:space="preserve"><tspan
         y="147.37878"
         x="510.85156"
         id="tspan6544"
         sodipodi:role="line">Nat (S n)</tspan></text>
    <text
       sodipodi:linespacing="125%"
       id="text6546"
       y="184.87878"
       x="534.64746"
       style="font-size:22px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#0000ff;fill-opacity:1;stroke:none;font-family:Sathu;-inkscape-font-specification:Sathu"
       xml:space="preserve"><tspan
         y="184.87878"
         x="534.64746"
         id="tspan6548"
         sodipodi:role="line">S n</tspan></text>
    <text
       xml:space="preserve"
       style="font-size:41.17593002px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#e00000;fill-opacity:0.21666667;stroke:none;font-family:Sans;-inkscape-font-specification:Sans"
       x="-6.1246853"
       y="323.85614"
       id="text10419"
       sodipodi:linespacing="125%"
       transform="matrix(0.75511243,-0.65559531,0.65559531,0.75511243,0,0)"><tspan
         sodipodi:role="line"
         id="tspan10421"
         x="-6.1246853"
         y="323.85614">Does not work</tspan></text>
  </g>
</svg>