summaryrefslogtreecommitdiff
path: root/src/symbolic/core.svg
diff options
context:
space:
mode:
Diffstat (limited to 'src/symbolic/core.svg')
-rw-r--r--src/symbolic/core.svg244
1 files changed, 98 insertions, 146 deletions
diff --git a/src/symbolic/core.svg b/src/symbolic/core.svg
index 49770be71..8256b89fb 100644
--- a/src/symbolic/core.svg
+++ b/src/symbolic/core.svg
@@ -41,9 +41,9 @@
inkscape:window-height="1011"
id="namedview88"
showgrid="false"
- inkscape:zoom="1"
- inkscape:cx="25.5"
- inkscape:cy="267"
+ inkscape:zoom="2"
+ inkscape:cx="312.25"
+ inkscape:cy="174"
inkscape:window-x="0"
inkscape:window-y="0"
inkscape:window-maximized="1"
@@ -3605,11 +3605,6 @@
transform="translate(0,200)"
style="display:inline">
<path
- id="path140018"
- style="color:#000000;fill:#2e3436;stroke-linecap:round;-inkscape-stroke:none"
- d="M 301 117 A 1 1 0 0 0 300 118 L 300 123 L 300 124 L 301 124 L 306 124 A 1 1 0 0 0 307 123 A 1 1 0 0 0 306 122 L 303.41406 122 L 306.70703 118.70703 A 1 1 0 0 0 306.70703 117.29297 A 1 1 0 0 0 306 117 A 1 1 0 0 0 305.29297 117.29297 L 302 120.58594 L 302 118 A 1 1 0 0 0 301 117 z "
- transform="translate(0,-200)" />
- <path
id="rect80764"
style="color:#000000;fill:#2e3436;stroke-linecap:round;stroke-linejoin:round;stroke-dashoffset:2;-inkscape-stroke:none"
d="M 47 180 C 46.446 180 46 180.446 46 181 L 44 181 C 42.355299 181 41 182.3553 41 184 L 41 193 C 41 194.6447 42.355299 196 44 196 L 52 196 C 53.644701 196 55 194.6447 55 193 L 55 184 C 55 182.3553 53.644701 181 52 181 L 50 181 C 50 180.446 49.554 180 49 180 L 47 180 z M 44 183 L 45 183 L 45 184 C 45 184.554 45.446 185 46 185 L 50 185 C 50.554 185 51 184.554 51 184 L 51 183 L 52 183 C 52.571297 183 53 183.4287 53 184 L 53 193 C 53 193.5713 52.571297 194 52 194 L 44 194 C 43.428703 194 43 193.5713 43 193 L 43 184 C 43 183.4287 43.428703 183 44 183 z "
@@ -4316,21 +4311,6 @@
</g>
<g
style="display:inline"
- inkscape:label="view fullscreen maximize enlarge large"
- id="g83430"
- transform="rotate(90,383.06949,127.93368)">
- <title
- id="title83408">view-fullscreen</title>
- <rect
- y="195.00317"
- x="163.1358"
- height="16"
- width="16"
- id="rect83410"
- style="fill:none;fill-opacity:1" />
- </g>
- <g
- style="display:inline"
inkscape:label="view restore unmaximize"
id="g104311"
transform="rotate(90,393.06949,137.93368)">
@@ -4355,88 +4335,6 @@
sodipodi:nodetypes="ssscccccssscccs" />
</g>
<g
- style="display:inline"
- inkscape:label="document save as name"
- id="g121741"
- transform="rotate(90,367.06949,163.93368)">
- <title
- id="title121731">document-edit</title>
- <rect
- y="195.00317"
- x="163.1358"
- height="16"
- width="16"
- id="rect121733"
- style="fill:none;fill-opacity:1" />
- <path
- id="path13107"
- style="display:inline;fill:#2e3436;fill-opacity:1;fill-rule:evenodd;stroke:none;enable-background:new"
- d="m 163.79792,198.37622 c 0,0.20052 0.0768,0.40103 0.23047,0.55468 l 1.76758,1.76954 3.05273,-3.05274 -1.76953,-1.76953 c -0.3073,-0.3073 -0.80208,-0.3073 -1.10938,0 l -1.9414,1.94336 c -0.15365,0.15365 -0.23047,0.35417 -0.23047,0.55469 z m 2.76562,3.10937 8.57227,8.51758 h 3 v -3 l -8.57227,-8.51758 z" />
- </g>
- <g
- style="display:inline"
- inkscape:label="document save as name"
- id="g122872"
- transform="rotate(90,377.06949,173.93368)">
- <title
- id="title122862">error-correct</title>
- <rect
- y="195.00317"
- x="163.1358"
- height="16"
- width="16"
- id="rect122864"
- style="fill:none;fill-opacity:1" />
- <path
- id="path122866"
- style="display:inline;fill:#2e3436;fill-opacity:1;fill-rule:evenodd;stroke:none;enable-background:new"
- d="m 163.79792,198.37622 c 0,0.20052 0.0768,0.40103 0.23047,0.55468 l 1.76758,1.76954 3.05273,-3.05274 -1.76953,-1.76953 c -0.3073,-0.3073 -0.80208,-0.3073 -1.10938,0 l -1.9414,1.94336 c -0.15365,0.15365 -0.23047,0.35417 -0.23047,0.55469 z m 2.76562,3.10937 8.57227,8.51758 h 3 v -3 l -8.57227,-8.51758 z" />
- <path
- style="color:#000000;fill:#2e3436;fill-rule:evenodd;stroke-linejoin:round;-inkscape-stroke:none"
- d="m 163.13677,201.00389 v 5 c 0,0 -0.0138,0.70875 0.35547,1.44726 0.36925,0.73852 1.3112,1.55274 2.64453,1.55274 h 3 v -2 h -3 c -0.66667,0 -0.72668,-0.18578 -0.85742,-0.44727 -0.13075,-0.26149 -0.14258,-0.55273 -0.14258,-0.55273 v -5 z"
- id="path4135" />
- <path
- style="color:#000000;fill:#2e3436;-inkscape-stroke:none"
- d="m 168.8438,205.29685 -1.41602,1.41407 1.29297,1.29297 -1.29297,1.29296 1.41602,1.41407 2.70703,-2.70703 z"
- id="path4139" />
- <rect
- transform="scale(-1)"
- style="color:#000000;display:inline;overflow:visible;visibility:visible;fill:#2e3436;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:2;marker:none;enable-background:accumulate"
- id="rect4141"
- width="1"
- height="1"
- x="-168.1358"
- y="-206.00313" />
- <rect
- transform="scale(-1)"
- style="color:#000000;display:inline;overflow:visible;visibility:visible;fill:#2e3436;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:2;marker:none;enable-background:accumulate"
- id="rect4144"
- width="1"
- height="1"
- x="-168.1358"
- y="-211.00313" />
- <rect
- transform="scale(-1)"
- rx="1.0000011"
- y="-211.00313"
- x="-169.1358"
- height="2.00001"
- width="2.0000021"
- id="rect4146"
- style="color:#000000;display:inline;overflow:visible;visibility:visible;fill:#2e3436;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:2;marker:none;enable-background:accumulate"
- ry="1.0000011" />
- <rect
- transform="scale(-1)"
- ry="1.0000011"
- style="color:#000000;display:inline;overflow:visible;visibility:visible;fill:#2e3436;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-width:2;marker:none;enable-background:accumulate"
- id="rect4148"
- width="2.0000021"
- height="2.00001"
- x="-169.1358"
- y="-207.00313"
- rx="1.0000011" />
- </g>
- <g
id="g6955"
inkscape:label="color select picker palette colorize dropper"
style="enable-background:new"
@@ -4688,43 +4586,6 @@
</use>
<g
style="display:inline"
- inkscape:label="edit find replace search loupe pencil"
- id="g133092"
- transform="rotate(90,297.06949,93.933684)">
- <title
- id="title133084">edit-find-replace</title>
- <rect
- y="195.00317"
- x="163.1358"
- height="16"
- width="16"
- id="rect133086"
- style="fill:none;fill-opacity:1" />
- <path
- id="path133088"
- style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:Sans;-inkscape-font-specification:Sans;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;baseline-shift:baseline;text-anchor:start;display:inline;overflow:visible;visibility:visible;fill:#2e3436;fill-opacity:1;stroke:none;stroke-width:2;marker:none;enable-background:new"
- d="m 169.33984,149.21484 c -0.0454,0.0381 -0.0877,0.0801 -0.125,0.125 z m 2.0625,0.75782 -1.41601,1.42773 3.3164,3.31641 c 0.95834,0.93804 2.36459,-0.49946 1.40625,-1.4375 z"
- transform="rotate(-90,197.06949,173.93368)" />
- <path
- id="path133090"
- style="color:#000000;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:medium;line-height:normal;font-family:sans-serif;font-variant-ligatures:normal;font-variant-position:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-alternates:normal;font-variant-east-asian:normal;font-feature-settings:normal;font-variation-settings:normal;text-indent:0;text-align:start;text-decoration:none;text-decoration-line:none;text-decoration-style:solid;text-decoration-color:#000000;letter-spacing:normal;word-spacing:normal;text-transform:none;writing-mode:lr-tb;direction:ltr;text-orientation:mixed;dominant-baseline:auto;baseline-shift:baseline;text-anchor:start;white-space:normal;shape-padding:0;shape-margin:0;inline-size:0;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#2e3436;fill-opacity:1;fill-rule:nonzero;stroke:none;stroke-linecap:square;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:26.4;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate;stop-color:#000000"
- d="m 166.5,140 c -3.5779,0 -6.5,2.9221 -6.5,6.5 0,1.6831 0.64773,3.22049 1.70508,4.37695 l 1.40234,-1.41211 C 162.41682,148.67502 162,147.63927 162,146.5 c 0,-2.497 2.003,-4.5 4.5,-4.5 1.12893,0 2.15584,0.41044 2.94336,1.08984 l 0.36523,-0.36718 0.70703,-0.71289 0.0117,0.0117 0.33204,-0.33203 C 169.70445,140.64153 168.17464,140 166.5,140 Z"
- transform="rotate(-90,197.06949,173.93368)"
- sodipodi:nodetypes="ssccsscccccs" />
- <g
- id="path133107">
- <path
- style="color:#000000;fill:#2e3436;fill-rule:evenodd;stroke-width:2;-inkscape-stroke:none"
- d="m 163.79792,197.37622 c 0,0.20052 0.0768,0.40103 0.23047,0.55468 l 1.76758,1.76954 3.05273,-3.05274 -1.76953,-1.76953 c -0.3073,-0.3073 -0.80208,-0.3073 -1.10938,0 l -1.9414,1.94336 c -0.15365,0.15365 -0.23047,0.35417 -0.23047,0.55469 z m 2.76562,3.10937 8.57227,8.51758 h 3 v -3 l -8.57227,-8.51758 z"
- id="path134245" />
- </g>
- <path
- id="path13107-3"
- style="display:inline;fill:#2e3436;fill-opacity:1;fill-rule:evenodd;stroke:none;enable-background:new"
- d="m 163.79792,197.37622 c 0,0.20052 0.0768,0.40103 0.23047,0.55468 l 1.76758,1.76954 3.05273,-3.05274 -1.76953,-1.76953 c -0.3073,-0.3073 -0.80208,-0.3073 -1.10938,0 l -1.9414,1.94336 c -0.15365,0.15365 -0.23047,0.35417 -0.23047,0.55469 z m 2.76562,3.10937 8.57227,8.51758 h 3 v -3 l -8.57227,-8.51758 z" />
- </g>
- <g
- style="display:inline"
inkscape:label="edit clear delete remove"
id="g135021"
transform="rotate(90,317.06949,113.93368)">
@@ -6549,10 +6410,101 @@
style="color:#bebebe;display:inline;overflow:visible;visibility:visible;fill:none;fill-opacity:1;stroke:none;stroke-width:2;marker:none"
transform="scale(1,-1)" />
</g>
- <path
- id="path147080"
- style="color:#000000;fill:#2e3436;stroke-linecap:round;-inkscape-stroke:none"
- d="m 314,-84 a 1,1 0 0 0 1,-1 v -5 -1 h -1 -5 a 1,1 0 0 0 -1,1 1,1 0 0 0 1,1 h 2.58594 l -3.29297,3.29297 a 1,1 0 0 0 0,1.41406 A 1,1 0 0 0 309,-84 a 1,1 0 0 0 0.70703,-0.29297 L 313,-87.58594 V -85 a 1,1 0 0 0 1,1 z" />
+ <g
+ id="g163120"
+ inkscape:label="view fullscreen maximize enlarge large">
+ <title
+ id="title163122">view-fullscreen</title>
+ <path
+ id="path140018"
+ style="color:#000000;fill:#2e3436;stroke-linecap:round;-inkscape-stroke:none"
+ d="M 301 117 A 1 1 0 0 0 300 118 L 300 123 L 300 124 L 301 124 L 306 124 A 1 1 0 0 0 307 123 A 1 1 0 0 0 306 122 L 303.41406 122 L 306.70703 118.70703 A 1 1 0 0 0 306.70703 117.29297 A 1 1 0 0 0 306 117 A 1 1 0 0 0 305.29297 117.29297 L 302 120.58594 L 302 118 A 1 1 0 0 0 301 117 z "
+ transform="translate(0,-200)" />
+ <rect
+ y="-316"
+ x="-92.000008"
+ height="16"
+ width="16"
+ id="rect83410"
+ style="fill:none;fill-opacity:1"
+ transform="rotate(90)" />
+ <path
+ id="path147080"
+ style="color:#000000;fill:#2e3436;stroke-linecap:round;-inkscape-stroke:none"
+ d="m 315,-85 a 1,1 0 0 0 1,-1 v -5 -1 h -1 -5 a 1,1 0 0 0 -1,1 1,1 0 0 0 1,1 h 2.58594 l -3.29297,3.29297 a 1,1 0 0 0 0,1.41406 A 1,1 0 0 0 310,-85 a 1,1 0 0 0 0.70703,-0.29297 L 314,-88.58594 V -86 a 1,1 0 0 0 1,1 z" />
+ </g>
+ <g
+ id="g163233"
+ inkscape:label="document save as name pencil write change ">
+ <title
+ id="title163235">document-edit</title>
+ <rect
+ y="-336"
+ x="-40.000008"
+ height="16"
+ width="16"
+ id="rect121733"
+ style="fill:none;fill-opacity:1"
+ transform="rotate(90)" />
+ <path
+ id="path13107"
+ style="display:inline;fill:#2e3436;fill-opacity:1;fill-rule:evenodd;stroke:none;enable-background:new"
+ d="M 331 161 A 2 2 0 0 0 329.58594 161.58594 L 328.43945 162.73242 L 331.26758 165.56055 L 332.41406 164.41406 A 2 2 0 0 0 332.41406 161.58594 A 2 2 0 0 0 331 161 z M 327.73242 163.43945 L 321.58594 169.58594 A 2 2 0 0 0 321.01367 171 L 321 171 L 321 173 L 323 173 L 323 172.98633 A 2 2 0 0 0 324.41406 172.41406 L 330.56055 166.26758 L 327.73242 163.43945 z "
+ transform="translate(0,-200)" />
+ <path
+ style="color:#000000;fill:#2e3436;stroke-linecap:round;-inkscape-stroke:none"
+ d="m 322,-26 a 1,1 0 0 0 -1,1 1,1 0 0 0 1,1 h 12 a 1,1 0 0 0 1,-1 1,1 0 0 0 -1,-1 z"
+ id="path150447" />
+ </g>
+ <g
+ id="g164783"
+ inkscape:label="document save as name fix mistake"
+ transform="translate(0,-20)">
+ <title
+ id="title164785">error-correct</title>
+ <rect
+ y="-356"
+ x="-20.000008"
+ height="16"
+ width="16"
+ id="rect163751"
+ style="fill:none;fill-opacity:1"
+ transform="rotate(90)" />
+ <path
+ id="path163753"
+ style="display:inline;fill:#2e3436;fill-opacity:1;fill-rule:evenodd;stroke:none;enable-background:new"
+ d="m 354,-16 a 2,2 0 0 0 -1.41406,0.58594 l -1.14649,1.14648 2.82813,2.82813 1.14648,-1.14649 a 2,2 0 0 0 0,-2.82812 A 2,2 0 0 0 354,-16 Z m -3.26758,2.43945 -6.14648,6.14649 A 2,2 0 0 0 344.01367,-6 H 344 v 2 h 2 v -0.0137 a 2,2 0 0 0 1.41406,-0.57227 l 6.14649,-6.14648 z" />
+ <path
+ id="path80894-5-1"
+ style="display:inline;fill:#2e3436;fill-opacity:1"
+ d="m 345,181 c 0,0 -0.70875,-0.0138 -1.44727,0.35547 C 342.81422,181.72472 342,182.66667 342,184 v 2 h -1 -1 v 1 h 0.006 c -0.002,0.26436 0.10186,0.51856 0.28711,0.70703 l 2,2 c 0.39053,0.39037 1.02353,0.39037 1.41406,0 l 2,-2 c 0.18539,-0.18847 0.28911,-0.44267 0.28711,-0.70703 H 346 v -1 h -1 -1 v -2 c 0.10355,-0.80236 0.5,-1 1,-1 h 5 c 0.55228,0 1,-0.44772 1,-1 0,-0.55228 -0.44772,-1 -1,-1 z"
+ sodipodi:nodetypes="cssccccccccccccccccsssc"
+ transform="translate(0,-200)" />
+ </g>
+ <g
+ id="g166416"
+ inkscape:label="edit find replace search loupe pencil"
+ transform="translate(20,-20)">
+ <title
+ id="title166408">edit-find-replace</title>
+ <rect
+ y="-356"
+ x="-20.000008"
+ height="16"
+ width="16"
+ id="rect166410"
+ style="fill:none;fill-opacity:1"
+ transform="rotate(90)" />
+ <path
+ id="path166412"
+ style="display:inline;fill:#2e3436;fill-opacity:1;fill-rule:evenodd;stroke:none;enable-background:new"
+ d="m 354,-16 a 2,2 0 0 0 -1.41406,0.58594 l -1.14649,1.14648 2.82813,2.82813 1.14648,-1.14649 a 2,2 0 0 0 0,-2.82812 A 2,2 0 0 0 354,-16 Z m -3.26758,2.43945 -6.14648,6.14649 A 2,2 0 0 0 344.01367,-6 H 344 v 2 h 2 v -0.0137 a 2,2 0 0 0 1.41406,-0.57227 l 6.14649,-6.14648 z" />
+ <path
+ id="path104159-8"
+ style="display:inline;fill:#2e3436;fill-opacity:1"
+ d="M 366.5 160 C 362.9221 160 360 162.9221 360 166.5 C 360 168.63036 361.03537 170.52649 362.62891 171.71289 L 364.06055 170.28125 C 362.81934 169.48324 362 168.09497 362 166.5 C 362 164.003 364.003 162 366.5 162 C 368.09497 162 369.48461 162.81934 370.2832 164.06055 L 370.61133 163.73242 L 371.31836 163.02539 L 371.71484 162.62891 C 370.52788 161.03537 368.63036 160 366.5 160 z M 373.54297 172.11328 L 372.12109 173.53516 L 374.27344 175.6875 C 375.23178 176.62554 376.63803 175.18804 375.67969 174.25 L 373.54297 172.11328 z "
+ transform="translate(-20,-180)" />
+ </g>
</g>
<text
xml:space="preserve"