docs/pic/durations-grammar.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<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:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   inkscape:version="1.0 (4035a4fb49, 2020-05-01)"
   sodipodi:docname="durations-grammar.svg"
   id="svg172"
   version="1.1"
   viewBox="0.00 0.00 171.87 422.00"
   height="422pt"
   width="172pt">
  <metadata
     id="metadata178">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <defs
     id="defs176" />
  <sodipodi:namedview
     inkscape:current-layer="svg172"
     inkscape:window-maximized="1"
     inkscape:window-y="32"
     inkscape:window-x="0"
     inkscape:cy="461.45222"
     inkscape:cx="15.569324"
     inkscape:zoom="2.2057316"
     showgrid="false"
     id="namedview174"
     inkscape:window-height="985"
     inkscape:window-width="1920"
     inkscape:pageshadow="2"
     inkscape:pageopacity="0"
     guidetolerance="10"
     gridtolerance="10"
     objecttolerance="10"
     borderopacity="1"
     bordercolor="#666666"
     pagecolor="#ffffff"
     inkscape:document-rotation="0" />
  <g
     transform="scale(1 1) rotate(0) translate(4 418)"
     class="graph"
     id="graph0">
    <title
       id="title2">durations</title>
    <!-- 𝅗𝅥 -->
    <g
       class="node"
       id="node1">
      <title
         id="title6">𝅗𝅥</title>
      <ellipse
         id="ellipse8"
         ry="18"
         rx="27"
         cy="-45"
         cx="27"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text10"
         aria-label="𝅗𝅥">
        <path
           id="path938"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 27.532,-41.625999 q 0,-0.728 0.714,-1.288 0.714,-0.574 1.512,-0.574 0.462,0 0.826,0.238 v -8.288 h 0.308 v 9.058 q 0,0.784 -0.686,1.302 -0.686,0.518 -1.512,0.518 -0.462,0 -0.812,-0.266 -0.35,-0.28 -0.35,-0.7 z m 0.644,0.42 q 0.742,0 1.498,-0.63 0.77,-0.63 0.77,-0.938 0,-0.196 -0.168,-0.196 -0.518,0 -1.428,0.602 -0.896,0.588 -0.896,0.98 0,0.182 0.224,0.182 z" />
      </g>
    </g>
    <!-- ♩♩ -->
    <g
       class="node"
       id="node2">
      <title
         id="title13">♩♩</title>
      <ellipse
         id="ellipse15"
         ry="18"
         rx="27"
         cy="-72"
         cx="135.936"
         stroke="black"
         fill="none" />
      <text
         id="text17"
         font-size="14.00"
         font-family="Times,serif"
         y="-68.3"
         x="135.936"
         text-anchor="middle">♩♩</text>
    </g>
    <!-- 𝅗𝅥&#45;&gt;♩♩ -->
    <g
       class="edge"
       id="edge1">
      <title
         id="title20">𝅗𝅥-&gt;♩♩</title>
      <path
         id="path22"
         d="M52.5333,-51.1943C66.7976,-54.7959 84.9936,-59.3901 100.657,-63.3449"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon24"
         points="99.9644,-66.7799 110.517,-65.8345 101.678,-59.9929 99.9644,-66.7799"
         stroke="black"
         fill="black" />
      <text
         id="text26"
         font-size="14.00"
         font-family="Times,serif"
         y="-64.8"
         x="81"
         text-anchor="middle">0.5</text>
    </g>
    <!-- ​♪♩♪ -->
    <g
       class="node"
       id="node3">
      <title
         id="title29">​♪♩♪</title>
      <ellipse
         id="ellipse31"
         ry="18"
         rx="27"
         cy="-18"
         cx="135.936"
         stroke="black"
         fill="none" />
      <text
         id="text33"
         font-size="14.00"
         font-family="Times,serif"
         y="-14.3"
         x="135.936"
         text-anchor="middle">​♪♩♪</text>
    </g>
    <!-- 𝅗𝅥&#45;&gt;​♪♩♪ -->
    <g
       class="edge"
       id="edge2">
      <title
         id="title36">𝅗𝅥-&gt;​♪♩♪</title>
      <path
         id="path38"
         d="M52.5333,-38.8057C66.7976,-35.2041 84.9936,-30.6099 100.657,-26.6551"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon40"
         points="101.678,-30.0071 110.517,-24.1655 99.9644,-23.2201 101.678,-30.0071"
         stroke="black"
         fill="black" />
      <text
         id="text42"
         font-size="14.00"
         font-family="Times,serif"
         y="-37.8"
         x="81"
         text-anchor="middle">0.5</text>
    </g>
    <!-- ♩ -->
    <g
       class="node"
       id="node4">
      <title
         id="title45">♩</title>
      <ellipse
         id="ellipse47"
         ry="18"
         rx="27"
         cy="-153"
         cx="27"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text49"
         aria-label="♩">
        <path
           id="path1034"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 27.90918,-159.50606 h 0.492187 l 0.04785,0.0547 v 8.77051 q 0,1.11426 -1.339844,1.42187 l -0.328125,0.0274 h -0.239258 q -1.449219,0 -1.640625,-0.90918 l -0.02734,-0.21192 q 0,-0.88867 1.442383,-1.05273 l 0.225586,-0.0342 q 0.676758,0 1.291992,0.4375 h 0.02734 v -8.44922 z" />
      </g>
    </g>
    <!-- ♩&#45;&gt;♩ -->
    <g
       class="edge"
       id="edge3">
      <title
         id="title52">♩-&gt;♩</title>
      <path
         id="path54"
         d="M17.7856,-170.037C15.9051,-179.858 18.9766,-189 27,-189 32.0146,-189 35.0949,-185.429 36.2409,-180.353"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon56"
         points="39.7401,-180.028 36.2144,-170.037 32.7402,-180.046 39.7401,-180.028"
         stroke="black"
         fill="black" />
      <text
         id="text58"
         font-size="14.00"
         font-family="Times,serif"
         y="-192.8"
         x="27"
         text-anchor="middle">0.5</text>
    </g>
    <!-- ♪♪ -->
    <g
       class="node"
       id="node5">
      <title
         id="title61">♪♪</title>
      <ellipse
         id="ellipse63"
         ry="18"
         rx="27"
         cy="-180"
         cx="135.936"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text65"
         aria-label="♪♪">
        <path
           id="path1029"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 131.103,-186.50606 h 0.59472 l 0.0547,0.0478 v 0.26661 q 0.18457,0.36914 1.36719,0.7998 1.64062,0.47852 1.64062,1.42188 0,0.99804 -0.83398,1.65429 h -0.0273 l -0.20508,-0.21875 q 0.41699,-0.33496 0.41699,-0.90918 0,-0.47851 -1.55859,-0.96386 -0.62891,-0.28711 -0.79981,-0.46485 v 7.28711 q 0,1.0459 -1.53125,1.35352 h -0.38965 q -1.65429,0 -1.65429,-1.14844 0,-0.89551 1.44921,-1.05274 h 0.15723 q 0.65625,0 1.26465,0.4375 v -8.46289 z" />
        <path
           id="path1031"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 140.03757,-186.50606 h 0.59472 l 0.0547,0.0478 v 0.26661 q 0.18457,0.36914 1.36719,0.7998 1.64062,0.47852 1.64062,1.42188 0,0.99804 -0.83398,1.65429 h -0.0273 l -0.20508,-0.21875 q 0.41699,-0.33496 0.41699,-0.90918 0,-0.47851 -1.55859,-0.96386 -0.62891,-0.28711 -0.79981,-0.46485 v 7.28711 q 0,1.0459 -1.53125,1.35352 h -0.38965 q -1.65429,0 -1.65429,-1.14844 0,-0.89551 1.44921,-1.05274 h 0.15723 q 0.65625,0 1.26465,0.4375 v -8.46289 z" />
      </g>
    </g>
    <!-- ♩&#45;&gt;♪♪ -->
    <g
       class="edge"
       id="edge4">
      <title
         id="title68">♩-&gt;♪♪</title>
      <path
         id="path70"
         d="M52.5333,-159.194C66.7976,-162.796 84.9936,-167.39 100.657,-171.345"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon72"
         points="99.9644,-174.78 110.517,-173.834 101.678,-167.993 99.9644,-174.78"
         stroke="black"
         fill="black" />
      <text
         id="text74"
         font-size="14.00"
         font-family="Times,serif"
         y="-171.8"
         x="81"
         text-anchor="middle">0.4</text>
    </g>
    <!-- ​𝅗𝅥 -->
    <g
       class="node"
       id="node6">
      <title
         id="title77">​𝅗𝅥</title>
      <ellipse
         id="ellipse79"
         ry="18"
         rx="27.8725"
         cy="-126"
         cx="135.936"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text81"
         aria-label="​𝅗𝅥">
        <path
           id="path1037"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 136.468,-122.626 q 0,-0.728 0.714,-1.288 0.714,-0.574 1.512,-0.574 0.462,0 0.826,0.238 v -8.288 h 0.308 v 9.058 q 0,0.784 -0.686,1.302 -0.686,0.518 -1.512,0.518 -0.462,0 -0.812,-0.266 -0.35,-0.28 -0.35,-0.7 z m 0.644,0.42 q 0.742,0 1.498,-0.63 0.77,-0.63 0.77,-0.938 0,-0.196 -0.168,-0.196 -0.518,0 -1.428,0.602 -0.896,0.588 -0.896,0.98 0,0.182 0.224,0.182 z" />
      </g>
    </g>
    <!-- ♩&#45;&gt;​𝅗𝅥 -->
    <g
       class="edge"
       id="edge5">
      <title
         id="title84">♩-&gt;​𝅗𝅥</title>
      <path
         id="path86"
         d="M52.5333,-146.806C66.5953,-143.255 84.4782,-138.74 99.9886,-134.824"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon88"
         points="100.936,-138.195 109.775,-132.353 99.2221,-131.408 100.936,-138.195"
         stroke="black"
         fill="black" />
      <text
         id="text90"
         font-size="14.00"
         font-family="Times,serif"
         y="-144.8"
         x="81"
         text-anchor="middle">0.1</text>
    </g>
    <!-- ♪ -->
    <g
       class="node"
       id="node7">
      <title
         id="title93">♪</title>
      <ellipse
         id="ellipse95"
         ry="18"
         rx="27"
         cy="-288"
         cx="27"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text97"
         aria-label="♪">
        <path
           id="path1009"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 26.634277,-294.50604 h 0.594727 l 0.05469,0.0478 v 0.2666 q 0.184571,0.36914 1.367188,0.79981 1.640625,0.47851 1.640625,1.42187 0,0.99805 -0.833984,1.6543 h -0.02734 l -0.205078,-0.21875 q 0.416992,-0.33496 0.416992,-0.90918 0,-0.47852 -1.558594,-0.96387 -0.628906,-0.28711 -0.799805,-0.46484 v 7.28711 q 0,1.04589 -1.53125,1.35351 h -0.389648 q -1.654297,0 -1.654297,-1.14844 0,-0.8955 1.449219,-1.05273 h 0.157226 q 0.65625,0 1.264649,0.4375 v -8.46289 z" />
      </g>
    </g>
    <!-- ​♩ -->
    <g
       class="node"
       id="node8">
      <title
         id="title100">​♩</title>
      <ellipse
         id="ellipse102"
         ry="18"
         rx="27"
         cy="-342"
         cx="135.936"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text104"
         aria-label="​♩">
        <path
           id="path1012"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 136.84518,-348.50604 h 0.49219 l 0.0479,0.0547 v 8.7705 q 0,1.11426 -1.33984,1.42188 l -0.32813,0.0273 H 135.478 q -1.44922,0 -1.64063,-0.90918 l -0.0273,-0.21191 q 0,-0.88867 1.44238,-1.05274 l 0.22559,-0.0342 q 0.67675,0 1.29199,0.4375 h 0.0273 v -8.44921 z" />
      </g>
    </g>
    <!-- ♪&#45;&gt;​♩ -->
    <g
       class="edge"
       id="edge6">
      <title
         id="title107">♪-&gt;​♩</title>
      <path
         id="path109"
         d="M49.1271,-298.669C64.9452,-306.656 86.8124,-317.699 104.513,-326.637"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon111"
         points="103.349,-329.97 113.853,-331.354 106.504,-323.722 103.349,-329.97"
         stroke="black"
         fill="black" />
      <text
         id="text113"
         font-size="14.00"
         font-family="Times,serif"
         y="-321.8"
         x="81"
         text-anchor="middle">0.5</text>
    </g>
    <!-- ♪♩♪ -->
    <g
       class="node"
       id="node9">
      <title
         id="title116">♪♩♪</title>
      <ellipse
         id="ellipse118"
         ry="18"
         rx="27"
         cy="-288"
         cx="135.936"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text120"
         aria-label="♪♩♪">
        <path
           id="path1015"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 127.80124,-294.50604 h 0.59473 l 0.0547,0.0478 v 0.2666 q 0.18457,0.36914 1.36719,0.79981 1.64063,0.47851 1.64063,1.42187 0,0.99805 -0.83399,1.6543 h -0.0273 l -0.20508,-0.21875 q 0.41699,-0.33496 0.41699,-0.90918 0,-0.47852 -1.55859,-0.96387 -0.62891,-0.28711 -0.79981,-0.46484 v 7.28711 q 0,1.04589 -1.53125,1.35351 h -0.38965 q -1.65429,0 -1.65429,-1.14844 0,-0.8955 1.44922,-1.05273 h 0.15722 q 0.65625,0 1.26465,0.4375 v -8.46289 z" />
        <path
           id="path1017"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 136.84518,-294.50604 h 0.49219 l 0.0479,0.0547 v 8.7705 q 0,1.11426 -1.33984,1.42188 l -0.32813,0.0273 H 135.478 q -1.44922,0 -1.64063,-0.90918 l -0.0273,-0.21191 q 0,-0.88867 1.44238,-1.05274 l 0.22559,-0.0342 q 0.67675,0 1.29199,0.4375 h 0.0273 v -8.44921 z" />
        <path
           id="path1019"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 143.33932,-294.50604 h 0.59473 l 0.0547,0.0478 v 0.2666 q 0.18457,0.36914 1.36719,0.79981 1.64062,0.47851 1.64062,1.42187 0,0.99805 -0.83398,1.6543 h -0.0273 l -0.20507,-0.21875 q 0.41699,-0.33496 0.41699,-0.90918 0,-0.47852 -1.5586,-0.96387 -0.6289,-0.28711 -0.7998,-0.46484 v 7.28711 q 0,1.04589 -1.53125,1.35351 h -0.38965 q -1.6543,0 -1.6543,-1.14844 0,-0.8955 1.44922,-1.05273 h 0.15723 q 0.65625,0 1.26465,0.4375 v -8.46289 z" />
      </g>
    </g>
    <!-- ♪&#45;&gt;♪♩♪ -->
    <g
       class="edge"
       id="edge7">
      <title
         id="title123">♪-&gt;♪♩♪</title>
      <path
         id="path125"
         d="M54.1595,-288C67.4941,-288 83.9263,-288 98.481,-288"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon127"
         points="98.6761,-291.5 108.676,-288 98.676,-284.5 98.6761,-291.5"
         stroke="black"
         fill="black" />
      <text
         id="text129"
         font-size="14.00"
         font-family="Times,serif"
         y="-291.8"
         x="81"
         text-anchor="middle">0.4</text>
    </g>
    <!-- 𝅘𝅥𝅯 &#160;𝅘𝅥𝅯 &#160;♪ -->
    <g
       class="node"
       id="node10">
      <title
         id="title132">𝅘𝅥𝅯  𝅘𝅥𝅯  ♪</title>
      <ellipse
         id="ellipse134"
         ry="18"
         rx="27"
         cy="-234"
         cx="135.936"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text136"
         aria-label="𝅘𝅥𝅯  𝅘𝅥𝅯  ♪">
        <path
           id="path1022"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 123.10033,-231.126 q 0,-0.728 0.714,-1.288 0.714,-0.574 1.512,-0.574 0.462,0 0.826,0.238 v -8.288 h 0.294 q 0.056,0.49 0.35,0.952 0.308,0.448 0.7,0.826 0.392,0.364 0.77,0.756 0.392,0.378 0.658,0.896 0.266,0.504 0.266,1.078 0,0.476 -0.224,0.966 0.266,0.392 0.266,1.036 0,1.078 -0.532,1.96 h -0.336 q 0.49,-0.98 0.49,-1.778 0,-0.448 -0.224,-0.84 -0.21,-0.392 -0.658,-0.714 -0.434,-0.322 -0.728,-0.49 -0.28,-0.168 -0.784,-0.42 v 4.83 q 0,0.784 -0.686,1.302 -0.686,0.518 -1.512,0.518 -0.462,0 -0.812,-0.266 -0.35,-0.28 -0.35,-0.7 z m 5.656,-5.166 q 0,-1.442 -2.296,-2.688 0,0.406 0.168,0.77 0.168,0.364 0.448,0.658 0.28,0.28 0.574,0.518 0.294,0.238 0.602,0.532 0.308,0.28 0.476,0.532 0.028,-0.224 0.028,-0.322 z" />
        <path
           id="path1024"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 132.00072,-231.126 q 0,-0.728 0.714,-1.288 0.714,-0.574 1.512,-0.574 0.462,0 0.826,0.238 v -8.288 h 0.294 q 0.056,0.49 0.35,0.952 0.308,0.448 0.7,0.826 0.392,0.364 0.77,0.756 0.392,0.378 0.658,0.896 0.266,0.504 0.266,1.078 0,0.476 -0.224,0.966 0.266,0.392 0.266,1.036 0,1.078 -0.532,1.96 h -0.336 q 0.49,-0.98 0.49,-1.778 0,-0.448 -0.224,-0.84 -0.21,-0.392 -0.658,-0.714 -0.434,-0.322 -0.728,-0.49 -0.28,-0.168 -0.784,-0.42 v 4.83 q 0,0.784 -0.686,1.302 -0.686,0.518 -1.512,0.518 -0.462,0 -0.812,-0.266 -0.35,-0.28 -0.35,-0.7 z m 5.656,-5.166 q 0,-1.442 -2.296,-2.688 0,0.406 0.168,0.77 0.168,0.364 0.448,0.658 0.28,0.28 0.574,0.518 0.294,0.238 0.602,0.532 0.308,0.28 0.476,0.532 0.028,-0.224 0.028,-0.322 z" />
        <path
           id="path1026"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 144.47067,-240.50606 h 0.59473 l 0.0547,0.0478 v 0.26661 q 0.18457,0.36914 1.36718,0.7998 1.64063,0.47852 1.64063,1.42188 0,0.99804 -0.83399,1.65429 h -0.0273 l -0.20508,-0.21875 q 0.417,-0.33496 0.417,-0.90918 0,-0.47851 -1.5586,-0.96386 -0.6289,-0.28711 -0.7998,-0.46485 v 7.28711 q 0,1.0459 -1.53125,1.35352 h -0.38965 q -1.6543,0 -1.6543,-1.14844 0,-0.89551 1.44922,-1.05274 h 0.15723 q 0.65625,0 1.26465,0.4375 v -8.46289 z" />
      </g>
    </g>
    <!-- ♪&#45;&gt;𝅘𝅥𝅯 &#160;𝅘𝅥𝅯 &#160;♪ -->
    <g
       class="edge"
       id="edge8">
      <title
         id="title139">♪-&gt;𝅘𝅥𝅯  𝅘𝅥𝅯  ♪</title>
      <path
         id="path141"
         d="M49.1271,-277.331C64.9452,-269.344 86.8124,-258.301 104.513,-249.363"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon143"
         points="106.504,-252.278 113.853,-244.646 103.349,-246.03 106.504,-252.278"
         stroke="black"
         fill="black" />
      <text
         id="text145"
         font-size="14.00"
         font-family="Times,serif"
         y="-267.8"
         x="81"
         text-anchor="middle">0.1</text>
    </g>
    <!-- 𝅘𝅥𝅯 -->
    <g
       class="node"
       id="node11">
      <title
         id="title148">𝅘𝅥𝅯</title>
      <ellipse
         id="ellipse150"
         ry="18"
         rx="27"
         cy="-396"
         cx="27"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text152"
         aria-label="𝅘𝅥𝅯">
        <path
           id="path1003"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 27.532,-392.62599 q 0,-0.728 0.714,-1.288 0.714,-0.574 1.512,-0.574 0.462,0 0.826,0.238 v -8.288 h 0.294 q 0.056,0.49 0.35,0.952 0.308,0.448 0.7,0.826 0.392,0.364 0.77,0.756 0.392,0.378 0.658,0.896 0.266,0.504 0.266,1.078 0,0.476 -0.224,0.966 0.266,0.392 0.266,1.036 0,1.078 -0.532,1.96 h -0.336 q 0.49,-0.98 0.49,-1.778 0,-0.448 -0.224,-0.84 -0.21,-0.392 -0.658,-0.714 -0.434,-0.322 -0.728,-0.49 -0.28,-0.168 -0.784,-0.42 v 4.83 q 0,0.784 -0.686,1.302 -0.686,0.518 -1.512,0.518 -0.462,0 -0.812,-0.266 -0.35,-0.28 -0.35,-0.7 z m 5.656,-5.166 q 0,-1.442 -2.296,-2.688 0,0.406 0.168,0.77 0.168,0.364 0.448,0.658 0.28,0.28 0.574,0.518 0.294,0.238 0.602,0.532 0.308,0.28 0.476,0.532 0.028,-0.224 0.028,-0.322 z" />
      </g>
    </g>
    <!-- ∅ -->
    <g
       class="node"
       id="node12">
      <title
         id="title155">∅</title>
      <ellipse
         id="ellipse157"
         ry="18"
         rx="27"
         cy="-396"
         cx="135.936"
         stroke="black"
         fill="none" />
      <g
         style="font-size:14px;font-family:Times, serif;text-anchor:middle"
         id="text159"
         aria-label="∅">
        <path
           id="path1006"
           style="font-size:14px;font-family:Times, serif;text-anchor:middle"
           d="m 138.64304,-401.45331 0.60839,-0.75195 h 0.72461 l -0.875,1.07324 q 0.71778,0.56738 1.18946,1.40137 0.68359,1.2168 0.68359,2.5293 0,1.3125 -0.68359,2.52929 -0.6836,1.20996 -1.88672,1.85938 -1.20313,0.64941 -2.46778,0.64941 -1.27832,0 -2.48144,-0.64941 -0.38281,-0.20508 -0.71094,-0.47168 l -0.86133,1.0664 h -0.71777 l 1.16211,-1.43554 q -0.43066,-0.45118 -0.75195,-1.02539 -0.67676,-1.20996 -0.67676,-2.52246 0,-1.3125 0.67676,-2.52247 0.67675,-1.21679 1.87988,-1.86621 1.20312,-0.64941 2.48144,-0.64941 1.26465,0 2.46778,0.64941 0.12304,0.0684 0.23926,0.13672 z m -5.74219,7.08887 5.16797,-6.37793 -0.0957,-0.0547 q -0.99121,-0.5332 -2.03711,-0.5332 -1.05273,0 -2.05078,0.54004 -0.99121,0.5332 -1.55175,1.53808 -0.55372,0.99121 -0.56055,2.05079 0.007,1.05957 0.56055,2.05078 0.24609,0.4375 0.56738,0.78613 z m 5.63281,-6.06348 -5.21582,6.43946 q 0.2666,0.21191 0.57422,0.37597 0.99121,0.54004 2.04394,0.54004 1.0459,0 2.03711,-0.5332 0.99121,-0.54004 1.5586,-1.54492 0.56054,-0.99121 0.56738,-2.05078 -0.007,-1.05958 -0.56738,-2.05079 -0.39649,-0.7041 -0.99805,-1.17578 z" />
      </g>
    </g>
    <!-- 𝅘𝅥𝅯&#45;&gt;∅ -->
    <g
       class="edge"
       id="edge9">
      <title
         id="title162">𝅘𝅥𝅯-&gt;∅</title>
      <path
         id="path164"
         d="M54.1595,-396C67.4941,-396 83.9263,-396 98.481,-396"
         stroke="black"
         fill="none" />
      <polygon
         id="polygon166"
         points="98.6761,-399.5 108.676,-396 98.676,-392.5 98.6761,-399.5"
         stroke="black"
         fill="black" />
      <text
         id="text168"
         font-size="14.00"
         font-family="Times,serif"
         y="-399.8"
         x="81"
         text-anchor="middle">1</text>
    </g>
  </g>
</svg>