| <?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" |
| id="svg8" |
| version="1.1" |
| viewBox="0 0 170 110" |
| height="110mm" |
| width="170mm"> |
| <defs |
| id="defs2" /> |
| <g |
| id="layer1" |
| inkscape:groupmode="layer" |
| inkscape:label="Layer 1"> |
| <text |
| id="text1921" |
| y="105.83334" |
| x="89.958336" |
| style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="105.83334" |
| x="89.958336" |
| id="tspan1919" |
| sodipodi:role="line">⊥ = {}</tspan></text> |
| <text |
| id="text1925" |
| y="76.729172" |
| x="4.0951862" |
| style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="76.729172" |
| x="4.0951862" |
| id="tspan1923" |
| sodipodi:role="line">…</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="27.907686" |
| y="76.729172" |
| id="text1925-6"><tspan |
| sodipodi:role="line" |
| id="tspan1923-9" |
| x="27.907686" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="16.001438" |
| y="76.729172" |
| id="text1925-7"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8" |
| x="16.001438" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−9}</tspan></text> |
| <text |
| id="text1925-7-7" |
| y="76.729172" |
| x="39.813934" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="76.729172" |
| x="39.813934" |
| id="tspan1923-8-1" |
| sodipodi:role="line">{−5}</tspan></text> |
| <text |
| id="text1925-6-4" |
| y="76.729172" |
| x="51.720184" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="76.729172" |
| x="51.720184" |
| id="tspan1923-9-4" |
| sodipodi:role="line">…</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="63.626438" |
| y="76.729172" |
| id="text1925-7-7-6"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-9" |
| x="63.626438" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="79.501442" |
| y="76.729172" |
| id="text1925-7-7-67"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-8" |
| x="79.501442" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−2}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="95.37645" |
| y="76.729172" |
| id="text1925-7-7-9"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-1" |
| x="95.37645" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−1}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="109.92851" |
| y="76.729172" |
| id="text1925-7-7-7"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-0" |
| x="109.92851" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{0}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="123.15768" |
| y="76.729172" |
| id="text1925-7-7-3"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-6" |
| x="123.15768" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1}</tspan></text> |
| <text |
| id="text1925-7-7-3-3" |
| y="76.729172" |
| x="136.38686" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="76.729172" |
| x="136.38686" |
| id="tspan1923-8-1-6-8" |
| sodipodi:role="line">{2}</tspan></text> |
| <text |
| id="text1925-7-7-3-31" |
| y="76.729172" |
| x="149.61603" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="76.729172" |
| x="149.61603" |
| id="tspan1923-8-1-6-5" |
| sodipodi:role="line">{3}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="160.19936" |
| y="76.729172" |
| id="text1925-6-4-0"><tspan |
| sodipodi:role="line" |
| id="tspan1923-9-4-8" |
| x="160.19936" |
| y="76.729172" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2089" |
| d="M 16.001436,78.052083 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2091" |
| d="M 39.813936,78.052083 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2093" |
| d="M 63.626436,78.052083 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2095" |
| d="M 79.501436,78.052083 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2097" |
| d="m 95.376433,78.052083 -5.29166,22.489577" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2099" |
| d="M 109.92852,78.052083 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| sodipodi:nodetypes="cc" |
| id="path2101" |
| d="M 123.15768,78.052083 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| id="path2121" |
| d="M 136.38685,78.052082 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <path |
| id="path2123" |
| d="M 149.61601,78.052082 90.084773,100.54166" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" /> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="9.3868532" |
| y="50.270832" |
| id="text1925-62"><tspan |
| sodipodi:role="line" |
| id="tspan1923-98" |
| x="9.3868532" |
| y="50.270832" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text> |
| <text |
| id="text1925-6-6" |
| y="50.270832" |
| x="53.043102" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="50.270832" |
| x="53.043102" |
| id="tspan1923-9-0" |
| sodipodi:role="line">…</tspan></text> |
| <text |
| id="text1925-7-6" |
| y="50.270832" |
| x="29.230604" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="50.270832" |
| x="29.230604" |
| id="tspan1923-8-18" |
| sodipodi:role="line">{−9, −5}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="79.501442" |
| y="50.270832" |
| id="text1925-7-7-31"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-87" |
| x="79.501442" |
| y="50.270832" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3, −1}</tspan></text> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="108.60561" |
| y="50.270832" |
| id="text1925-6-4-5"><tspan |
| sodipodi:role="line" |
| id="tspan1923-9-4-85" |
| x="108.60561" |
| y="50.270832" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text> |
| <text |
| id="text1925-7-7-6-0" |
| y="50.270832" |
| x="129.77228" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="50.270832" |
| x="129.77228" |
| id="tspan1923-8-1-9-0" |
| sodipodi:role="line">{1, 2}</tspan></text> |
| <text |
| id="text1925-6-4-5-3" |
| y="50.270832" |
| x="149.61603" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="50.270832" |
| x="149.61603" |
| id="tspan1923-9-4-85-4" |
| sodipodi:role="line">…</tspan></text> |
| <path |
| id="path2191" |
| d="M 16.001436,71.437499 29.230603,51.59375" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path2193" |
| d="M 39.813936,71.437499 29.230603,51.59375" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path2195" |
| d="M 63.626435,71.437499 79.501436,51.59375" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path2197" |
| d="M 95.376433,71.437499 79.501436,51.59375" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path2199" |
| d="M 124.4806,71.437499 129.77227,51.59375" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path2201" |
| d="M 135.06393,71.437499 129.77227,51.59375" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| sodipodi:nodetypes="cc" |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="M 129.77226,44.979165 128.44935,25.135416" |
| id="path2201-1" /> |
| <text |
| xml:space="preserve" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| x="128.44936" |
| y="23.812502" |
| id="text1925-7-7-6-0-2"><tspan |
| sodipodi:role="line" |
| id="tspan1923-8-1-9-0-9" |
| x="128.44936" |
| y="23.812502" |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1, 2, 3}</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" |
| d="M 149.61601,71.437499 128.44935,25.135416" |
| id="path205" /> |
| <text |
| id="text1925-6-4-5-0" |
| y="23.812502" |
| x="112.57436" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="23.812502" |
| x="112.57436" |
| id="tspan1923-9-4-85-5" |
| sodipodi:role="line">…</tspan></text> |
| <text |
| id="text1925-6-4-5-7" |
| y="23.812502" |
| x="143.00143" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="23.812502" |
| x="143.00143" |
| id="tspan1923-9-4-85-0" |
| sodipodi:role="line">…</tspan></text> |
| <text |
| id="text1925-7-7-6-0-2-0" |
| y="6.6145835" |
| x="90.084763" |
| style="font-size:4.9389px;line-height:1.25;font-family:sans-serif;text-align:center;word-spacing:0px;text-anchor:middle;stroke-width:0.264583" |
| xml:space="preserve"><tspan |
| style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583" |
| y="6.6145835" |
| x="90.084763" |
| id="tspan1923-8-1-9-0-9-0" |
| sodipodi:role="line">⊤ = ℤ</tspan></text> |
| <path |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| d="M 90.084773,7.9374993 128.44935,18.520833" |
| id="path253" /> |
| <path |
| id="path253-2" |
| d="M 90.084773,7.9375003 108.6056,44.979166" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path253-8" |
| d="M 90.084773,7.9375003 79.501436,44.979166" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path253-6" |
| d="M 90.084773,7.9375003 53.043103,44.979166" |
| style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| <path |
| id="path253-4" |
| d="M 90.084773,7.9375003 29.230603,44.979166" |
| style="fill:none;stroke:#000000;stroke-width:0.26499901;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" |
| sodipodi:nodetypes="cc" /> |
| </g> |
| </svg> |
