aboutsummaryrefslogtreecommitdiff
path: root/present/fig/monad_data.svg
blob: c232b502cebbf0590d52b3b38a24ab9cc1cb9e3e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
<?xml version="1.0" encoding="UTF-8"?>
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="95.27pt" height="90.664pt" viewBox="0 0 95.27 90.664" version="1.1">
<defs>
<g>
<symbol overflow="visible" id="glyph0-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph0-1">
<path style="stroke:none;" d="M 4.984375 -7.296875 C 5.0625 -7.578125 5.078125 -7.6875 5.265625 -7.734375 C 5.359375 -7.75 5.75 -7.75 6 -7.75 C 7.203125 -7.75 7.75 -7.703125 7.75 -6.78125 C 7.75 -6.59375 7.703125 -6.140625 7.640625 -5.703125 L 7.625 -5.5625 C 7.625 -5.515625 7.671875 -5.4375 7.75 -5.4375 C 7.859375 -5.4375 7.859375 -5.5 7.90625 -5.6875 L 8.25 -7.8125 C 8.265625 -7.90625 8.265625 -7.9375 8.265625 -7.96875 C 8.265625 -8.109375 8.203125 -8.109375 7.953125 -8.109375 L 1.421875 -8.109375 C 1.140625 -8.109375 1.140625 -8.09375 1.0625 -7.875 L 0.328125 -5.71875 C 0.328125 -5.703125 0.28125 -5.5625 0.28125 -5.5625 C 0.28125 -5.5 0.328125 -5.4375 0.40625 -5.4375 C 0.5 -5.4375 0.53125 -5.484375 0.578125 -5.640625 C 1.078125 -7.09375 1.328125 -7.75 2.921875 -7.75 L 3.71875 -7.75 C 4 -7.75 4.125 -7.75 4.125 -7.625 C 4.125 -7.59375 4.125 -7.5625 4.0625 -7.34375 L 2.46875 -0.9375 C 2.34375 -0.46875 2.3125 -0.34375 1.046875 -0.34375 C 0.75 -0.34375 0.671875 -0.34375 0.671875 -0.125 C 0.671875 0 0.796875 0 0.859375 0 C 1.15625 0 1.46875 -0.03125 1.765625 -0.03125 L 3.640625 -0.03125 C 3.9375 -0.03125 4.25 0 4.546875 0 C 4.6875 0 4.8125 0 4.8125 -0.234375 C 4.8125 -0.34375 4.71875 -0.34375 4.40625 -0.34375 C 3.328125 -0.34375 3.328125 -0.453125 3.328125 -0.640625 C 3.328125 -0.640625 3.328125 -0.734375 3.375 -0.921875 Z M 4.984375 -7.296875 "/>
</symbol>
<symbol overflow="visible" id="glyph0-2">
<path style="stroke:none;" d="M 1.71875 -0.265625 C 2.015625 0.015625 2.46875 0.125 2.875 0.125 C 3.640625 0.125 4.15625 -0.390625 4.4375 -0.765625 C 4.546875 -0.125 5.0625 0.125 5.46875 0.125 C 5.828125 0.125 6.125 -0.09375 6.328125 -0.53125 C 6.53125 -0.9375 6.6875 -1.65625 6.6875 -1.703125 C 6.6875 -1.765625 6.640625 -1.8125 6.578125 -1.8125 C 6.46875 -1.8125 6.453125 -1.75 6.40625 -1.578125 C 6.234375 -0.875 6 -0.125 5.515625 -0.125 C 5.15625 -0.125 5.140625 -0.4375 5.140625 -0.671875 C 5.140625 -0.9375 5.25 -1.375 5.328125 -1.734375 L 5.671875 -3.03125 C 5.71875 -3.25 5.84375 -3.796875 5.90625 -4 C 5.96875 -4.296875 6.109375 -4.8125 6.109375 -4.859375 C 6.109375 -5.03125 5.96875 -5.15625 5.78125 -5.15625 C 5.671875 -5.15625 5.421875 -5.109375 5.328125 -4.75 L 4.5 -1.421875 C 4.4375 -1.1875 4.4375 -1.15625 4.28125 -0.96875 C 4.140625 -0.765625 3.671875 -0.125 2.921875 -0.125 C 2.25 -0.125 2.03125 -0.609375 2.03125 -1.171875 C 2.03125 -1.515625 2.140625 -1.9375 2.1875 -2.140625 L 2.71875 -4.296875 C 2.78125 -4.515625 2.875 -4.90625 2.875 -4.96875 C 2.875 -5.15625 2.71875 -5.265625 2.5625 -5.265625 C 2.46875 -5.265625 2.203125 -5.234375 2.109375 -4.859375 L 0.375 2.0625 C 0.359375 2.125 0.328125 2.203125 0.328125 2.265625 C 0.328125 2.453125 0.484375 2.5625 0.65625 2.5625 C 1 2.5625 1.078125 2.296875 1.15625 1.953125 Z M 1.71875 -0.265625 "/>
</symbol>
<symbol overflow="visible" id="glyph1-0">
<path style="stroke:none;" d=""/>
</symbol>
<symbol overflow="visible" id="glyph1-1">
<path style="stroke:none;" d="M 2.015625 -2.65625 C 2.640625 -2.65625 3.046875 -2.203125 3.046875 -1.359375 C 3.046875 -0.359375 2.484375 -0.078125 2.0625 -0.078125 C 1.625 -0.078125 1.015625 -0.234375 0.734375 -0.65625 C 1.03125 -0.65625 1.234375 -0.84375 1.234375 -1.09375 C 1.234375 -1.359375 1.046875 -1.53125 0.78125 -1.53125 C 0.578125 -1.53125 0.34375 -1.40625 0.34375 -1.078125 C 0.34375 -0.328125 1.15625 0.171875 2.078125 0.171875 C 3.125 0.171875 3.875 -0.5625 3.875 -1.359375 C 3.875 -2.03125 3.34375 -2.625 2.53125 -2.8125 C 3.15625 -3.03125 3.640625 -3.5625 3.640625 -4.203125 C 3.640625 -4.84375 2.921875 -5.296875 2.09375 -5.296875 C 1.234375 -5.296875 0.59375 -4.84375 0.59375 -4.234375 C 0.59375 -3.9375 0.78125 -3.8125 1 -3.8125 C 1.25 -3.8125 1.40625 -3.984375 1.40625 -4.21875 C 1.40625 -4.515625 1.140625 -4.625 0.96875 -4.625 C 1.3125 -5.0625 1.921875 -5.09375 2.0625 -5.09375 C 2.265625 -5.09375 2.875 -5.03125 2.875 -4.203125 C 2.875 -3.65625 2.640625 -3.3125 2.53125 -3.1875 C 2.296875 -2.9375 2.109375 -2.921875 1.625 -2.890625 C 1.46875 -2.890625 1.40625 -2.875 1.40625 -2.765625 C 1.40625 -2.65625 1.484375 -2.65625 1.625 -2.65625 Z M 2.015625 -2.65625 "/>
</symbol>
<symbol overflow="visible" id="glyph1-2">
<path style="stroke:none;" d="M 2.25 -1.625 C 2.375 -1.75 2.703125 -2.015625 2.84375 -2.125 C 3.328125 -2.578125 3.796875 -3.015625 3.796875 -3.734375 C 3.796875 -4.6875 3 -5.296875 2.015625 -5.296875 C 1.046875 -5.296875 0.421875 -4.578125 0.421875 -3.859375 C 0.421875 -3.46875 0.734375 -3.421875 0.84375 -3.421875 C 1.015625 -3.421875 1.265625 -3.53125 1.265625 -3.84375 C 1.265625 -4.25 0.859375 -4.25 0.765625 -4.25 C 1 -4.84375 1.53125 -5.03125 1.921875 -5.03125 C 2.65625 -5.03125 3.046875 -4.40625 3.046875 -3.734375 C 3.046875 -2.90625 2.46875 -2.296875 1.515625 -1.34375 L 0.515625 -0.296875 C 0.421875 -0.21875 0.421875 -0.203125 0.421875 0 L 3.5625 0 L 3.796875 -1.421875 L 3.546875 -1.421875 C 3.53125 -1.265625 3.46875 -0.875 3.375 -0.71875 C 3.328125 -0.65625 2.71875 -0.65625 2.59375 -0.65625 L 1.171875 -0.65625 Z M 2.25 -1.625 "/>
</symbol>
</g>
</defs>
<g id="surface1">
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="16.923" y="23.234"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph1-1" x="25.409" y="18.896"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="73.616" y="23.234"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph1-2" x="82.102" y="18.896"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="16.923" y="79.927"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph1-2" x="25.409" y="75.589"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="75.982" y="79.274"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 10.710187 56.693906 L 45.526594 56.693906 " transform="matrix(1,0,0,-1,23.532,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.197435 1.594036 C -1.095872 0.99638 0.00178375 0.0979425 0.298659 0.00028625 C 0.00178375 -0.101276 -1.095872 -0.995808 -1.197435 -1.593464 " transform="matrix(1,0,0,-1,69.05681,18.49638)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-1" x="44.114" y="12.071"/>
</g>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-2" x="52.600996" y="12.071"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -0.00075 47.854062 L -0.00075 9.295469 " transform="matrix(1,0,0,-1,23.532,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.194211 1.593 C -1.096555 0.995344 0.00110125 0.100812 0.297976 -0.00075 C 0.00110125 -0.0984063 -1.096555 -0.996844 -1.194211 -1.5945 " transform="matrix(0,1,1,0,23.532,65.89343)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-2" x="3.902" y="49.766"/>
  <use xlink:href="#glyph0-1" x="10.944808" y="49.766"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 56.694563 47.854062 L 56.694563 8.643125 " transform="matrix(1,0,0,-1,23.532,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.194558 1.594692 C -1.096901 0.997036 0.000755 0.0985987 0.29763 0.0009425 C 0.000755 -0.10062 -1.096901 -0.995151 -1.194558 -1.592808 " transform="matrix(0,1,1,0,80.22562,66.54612)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-2" x="84.326" y="48.581"/>
</g>
<path style="fill:none;stroke-width:0.3985;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 10.710187 -0.00140625 L 47.889875 -0.00140625 " transform="matrix(1,0,0,-1,23.532,75.19)"/>
<path style="fill:none;stroke-width:0.31879;stroke-linecap:round;stroke-linejoin:round;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M -1.196427 1.592344 C -1.094865 0.994687 -0.001115 0.100156 0.299666 -0.00140625 C -0.001115 -0.0990625 -1.094865 -0.9975 -1.196427 -1.595156 " transform="matrix(1,0,0,-1,71.42299,75.19)"/>
<g style="fill:rgb(0%,0%,0%);fill-opacity:1;">
  <use xlink:href="#glyph0-2" x="49.54" y="84.438"/>
</g>
</g>
</svg>