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