404 lines · plain
1<?xml version="1.0" encoding="UTF-8" standalone="no"?>2<svg3 xmlns:dc="http://purl.org/dc/elements/1.1/"4 xmlns:cc="http://creativecommons.org/ns#"5 xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"6 xmlns:svg="http://www.w3.org/2000/svg"7 xmlns="http://www.w3.org/2000/svg"8 xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"9 xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"10 id="svg8"11 version="1.1"12 viewBox="0 0 170 110"13 height="110mm"14 width="170mm">15 <defs16 id="defs2" />17 <g18 id="layer1"19 inkscape:groupmode="layer"20 inkscape:label="Layer 1">21 <text22 id="text1921"23 y="105.83334"24 x="89.958336"25 style="font-size:4.93889px;line-height:1.25;font-family:sans-serif;word-spacing:0px;stroke-width:0.264583"26 xml:space="preserve"><tspan27 style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"28 y="105.83334"29 x="89.958336"30 id="tspan1919"31 sodipodi:role="line">⊥ = {}</tspan></text>32 <text33 id="text1925"34 y="76.729172"35 x="4.0951862"36 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"37 xml:space="preserve"><tspan38 style="font-size:4.93889px;text-align:center;text-anchor:middle;stroke-width:0.264583"39 y="76.729172"40 x="4.0951862"41 id="tspan1923"42 sodipodi:role="line">…</tspan></text>43 <text44 xml:space="preserve"45 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"46 x="27.907686"47 y="76.729172"48 id="text1925-6"><tspan49 sodipodi:role="line"50 id="tspan1923-9"51 x="27.907686"52 y="76.729172"53 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>54 <text55 xml:space="preserve"56 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"57 x="16.001438"58 y="76.729172"59 id="text1925-7"><tspan60 sodipodi:role="line"61 id="tspan1923-8"62 x="16.001438"63 y="76.729172"64 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−9}</tspan></text>65 <text66 id="text1925-7-7"67 y="76.729172"68 x="39.813934"69 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"70 xml:space="preserve"><tspan71 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"72 y="76.729172"73 x="39.813934"74 id="tspan1923-8-1"75 sodipodi:role="line">{−5}</tspan></text>76 <text77 id="text1925-6-4"78 y="76.729172"79 x="51.720184"80 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"81 xml:space="preserve"><tspan82 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"83 y="76.729172"84 x="51.720184"85 id="tspan1923-9-4"86 sodipodi:role="line">…</tspan></text>87 <text88 xml:space="preserve"89 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"90 x="63.626438"91 y="76.729172"92 id="text1925-7-7-6"><tspan93 sodipodi:role="line"94 id="tspan1923-8-1-9"95 x="63.626438"96 y="76.729172"97 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3}</tspan></text>98 <text99 xml:space="preserve"100 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"101 x="79.501442"102 y="76.729172"103 id="text1925-7-7-67"><tspan104 sodipodi:role="line"105 id="tspan1923-8-1-8"106 x="79.501442"107 y="76.729172"108 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−2}</tspan></text>109 <text110 xml:space="preserve"111 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"112 x="95.37645"113 y="76.729172"114 id="text1925-7-7-9"><tspan115 sodipodi:role="line"116 id="tspan1923-8-1-1"117 x="95.37645"118 y="76.729172"119 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−1}</tspan></text>120 <text121 xml:space="preserve"122 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"123 x="109.92851"124 y="76.729172"125 id="text1925-7-7-7"><tspan126 sodipodi:role="line"127 id="tspan1923-8-1-0"128 x="109.92851"129 y="76.729172"130 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{0}</tspan></text>131 <text132 xml:space="preserve"133 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"134 x="123.15768"135 y="76.729172"136 id="text1925-7-7-3"><tspan137 sodipodi:role="line"138 id="tspan1923-8-1-6"139 x="123.15768"140 y="76.729172"141 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1}</tspan></text>142 <text143 id="text1925-7-7-3-3"144 y="76.729172"145 x="136.38686"146 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"147 xml:space="preserve"><tspan148 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"149 y="76.729172"150 x="136.38686"151 id="tspan1923-8-1-6-8"152 sodipodi:role="line">{2}</tspan></text>153 <text154 id="text1925-7-7-3-31"155 y="76.729172"156 x="149.61603"157 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"158 xml:space="preserve"><tspan159 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"160 y="76.729172"161 x="149.61603"162 id="tspan1923-8-1-6-5"163 sodipodi:role="line">{3}</tspan></text>164 <text165 xml:space="preserve"166 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"167 x="160.19936"168 y="76.729172"169 id="text1925-6-4-0"><tspan170 sodipodi:role="line"171 id="tspan1923-9-4-8"172 x="160.19936"173 y="76.729172"174 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>175 <path176 sodipodi:nodetypes="cc"177 id="path2089"178 d="M 16.001436,78.052083 90.084773,100.54166"179 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />180 <path181 sodipodi:nodetypes="cc"182 id="path2091"183 d="M 39.813936,78.052083 90.084773,100.54166"184 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />185 <path186 sodipodi:nodetypes="cc"187 id="path2093"188 d="M 63.626436,78.052083 90.084773,100.54166"189 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />190 <path191 sodipodi:nodetypes="cc"192 id="path2095"193 d="M 79.501436,78.052083 90.084773,100.54166"194 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />195 <path196 sodipodi:nodetypes="cc"197 id="path2097"198 d="m 95.376433,78.052083 -5.29166,22.489577"199 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />200 <path201 sodipodi:nodetypes="cc"202 id="path2099"203 d="M 109.92852,78.052083 90.084773,100.54166"204 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />205 <path206 sodipodi:nodetypes="cc"207 id="path2101"208 d="M 123.15768,78.052083 90.084773,100.54166"209 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />210 <path211 id="path2121"212 d="M 136.38685,78.052082 90.084773,100.54166"213 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />214 <path215 id="path2123"216 d="M 149.61601,78.052082 90.084773,100.54166"217 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1" />218 <text219 xml:space="preserve"220 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"221 x="9.3868532"222 y="50.270832"223 id="text1925-62"><tspan224 sodipodi:role="line"225 id="tspan1923-98"226 x="9.3868532"227 y="50.270832"228 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>229 <text230 id="text1925-6-6"231 y="50.270832"232 x="53.043102"233 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"234 xml:space="preserve"><tspan235 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"236 y="50.270832"237 x="53.043102"238 id="tspan1923-9-0"239 sodipodi:role="line">…</tspan></text>240 <text241 id="text1925-7-6"242 y="50.270832"243 x="29.230604"244 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"245 xml:space="preserve"><tspan246 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"247 y="50.270832"248 x="29.230604"249 id="tspan1923-8-18"250 sodipodi:role="line">{−9, −5}</tspan></text>251 <text252 xml:space="preserve"253 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"254 x="79.501442"255 y="50.270832"256 id="text1925-7-7-31"><tspan257 sodipodi:role="line"258 id="tspan1923-8-1-87"259 x="79.501442"260 y="50.270832"261 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{−3, −1}</tspan></text>262 <text263 xml:space="preserve"264 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"265 x="108.60561"266 y="50.270832"267 id="text1925-6-4-5"><tspan268 sodipodi:role="line"269 id="tspan1923-9-4-85"270 x="108.60561"271 y="50.270832"272 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">…</tspan></text>273 <text274 id="text1925-7-7-6-0"275 y="50.270832"276 x="129.77228"277 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"278 xml:space="preserve"><tspan279 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"280 y="50.270832"281 x="129.77228"282 id="tspan1923-8-1-9-0"283 sodipodi:role="line">{1, 2}</tspan></text>284 <text285 id="text1925-6-4-5-3"286 y="50.270832"287 x="149.61603"288 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"289 xml:space="preserve"><tspan290 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"291 y="50.270832"292 x="149.61603"293 id="tspan1923-9-4-85-4"294 sodipodi:role="line">…</tspan></text>295 <path296 id="path2191"297 d="M 16.001436,71.437499 29.230603,51.59375"298 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"299 sodipodi:nodetypes="cc" />300 <path301 id="path2193"302 d="M 39.813936,71.437499 29.230603,51.59375"303 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"304 sodipodi:nodetypes="cc" />305 <path306 id="path2195"307 d="M 63.626435,71.437499 79.501436,51.59375"308 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"309 sodipodi:nodetypes="cc" />310 <path311 id="path2197"312 d="M 95.376433,71.437499 79.501436,51.59375"313 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"314 sodipodi:nodetypes="cc" />315 <path316 id="path2199"317 d="M 124.4806,71.437499 129.77227,51.59375"318 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"319 sodipodi:nodetypes="cc" />320 <path321 id="path2201"322 d="M 135.06393,71.437499 129.77227,51.59375"323 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"324 sodipodi:nodetypes="cc" />325 <path326 sodipodi:nodetypes="cc"327 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"328 d="M 129.77226,44.979165 128.44935,25.135416"329 id="path2201-1" />330 <text331 xml:space="preserve"332 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"333 x="128.44936"334 y="23.812502"335 id="text1925-7-7-6-0-2"><tspan336 sodipodi:role="line"337 id="tspan1923-8-1-9-0-9"338 x="128.44936"339 y="23.812502"340 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583">{1, 2, 3}</tspan></text>341 <path342 style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"343 d="M 149.61601,71.437499 128.44935,25.135416"344 id="path205" />345 <text346 id="text1925-6-4-5-0"347 y="23.812502"348 x="112.57436"349 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"350 xml:space="preserve"><tspan351 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"352 y="23.812502"353 x="112.57436"354 id="tspan1923-9-4-85-5"355 sodipodi:role="line">…</tspan></text>356 <text357 id="text1925-6-4-5-7"358 y="23.812502"359 x="143.00143"360 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"361 xml:space="preserve"><tspan362 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"363 y="23.812502"364 x="143.00143"365 id="tspan1923-9-4-85-0"366 sodipodi:role="line">…</tspan></text>367 <text368 id="text1925-7-7-6-0-2-0"369 y="6.6145835"370 x="90.084763"371 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"372 xml:space="preserve"><tspan373 style="font-size:4.9389px;text-align:center;text-anchor:middle;stroke-width:0.264583"374 y="6.6145835"375 x="90.084763"376 id="tspan1923-8-1-9-0-9-0"377 sodipodi:role="line">⊤ = ℤ</tspan></text>378 <path379 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"380 d="M 90.084773,7.9374993 128.44935,18.520833"381 id="path253" />382 <path383 id="path253-2"384 d="M 90.084773,7.9375003 108.6056,44.979166"385 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"386 sodipodi:nodetypes="cc" />387 <path388 id="path253-8"389 d="M 90.084773,7.9375003 79.501436,44.979166"390 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"391 sodipodi:nodetypes="cc" />392 <path393 id="path253-6"394 d="M 90.084773,7.9375003 53.043103,44.979166"395 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"396 sodipodi:nodetypes="cc" />397 <path398 id="path253-4"399 d="M 90.084773,7.9375003 29.230603,44.979166"400 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"401 sodipodi:nodetypes="cc" />402 </g>403</svg>404