1 <?xml version=
"1.0" encoding=
"UTF-8" standalone=
"no"?>
2 <!-- Maxima logo - Jaime E. Villate, 2014 -->
5 xmlns:
dc=
"http://purl.org/dc/elements/1.1/"
6 xmlns:
cc=
"http://creativecommons.org/ns#"
7 xmlns:
rdf=
"http://www.w3.org/1999/02/22-rdf-syntax-ns#"
8 xmlns:
svg=
"http://www.w3.org/2000/svg"
9 xmlns=
"http://www.w3.org/2000/svg"
10 xmlns:
xlink=
"http://www.w3.org/1999/xlink"
11 xmlns:
sodipodi=
"http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
12 xmlns:
inkscape=
"http://www.inkscape.org/namespaces/inkscape"
17 sodipodi:
docname=
"text-x-maximasession.svg"
18 inkscape:
version=
"0.92.1 r15371">
24 <dc:format>image/svg+xml
</dc:format>
26 rdf:
resource=
"http://purl.org/dc/dcmitype/StillImage" />
38 inkscape:
pageopacity=
"0"
39 inkscape:
pageshadow=
"2"
40 inkscape:
window-width=
"1894"
41 inkscape:
window-height=
"1047"
44 inkscape:
zoom=
"1.7481481"
47 inkscape:
window-x=
"26"
49 inkscape:
window-maximized=
"1"
50 inkscape:
current-layer=
"svg45" />
55 filterUnits=
"objectBoundingBox"
61 id=
"feGaussianBlur2" />
68 id=
"feComponentTransfer8">
74 </feComponentTransfer>
82 id=
"feGaussianBlur11" />
86 style=
"lighting-color:white"
91 id=
"feSpecularLighting15">
95 id=
"feDistantLight13" />
102 id=
"feComposite17" />
105 d=
"M20.04,-75.84 H40.32 C54.24,-75.84 57.96,-73.08 60,-61.2 H63.12 L61.92,-80.76 H2.64 L28.8,-38.4 0.6,0 H64.2 L70.68,-21.6 H67.56 C63.72,-12 60.12,-9.96 46.2,-9.96 H14.16 L39.48,-44.28 20.04,-75.84 Z"
108 d=
"M64.704,-55.008 V-11.52 C64.704,-3.552 63.552,-2.304 55.968,-1.824 H82.848 V-1.824 C75.84,-2.304 74.496,-3.648 74.496,-10.464 V-53.088 C74.496,-59.904 75.744,-61.152 82.848,-61.728 V-63.552 H63.744 L42.528,-15.072 20.352,-63.552 H1.344 V-61.728 C9.216,-61.248 10.464,-60.096 10.464,-53.088 V-14.112 C10.464,-4.224 9.12,-2.4 1.152,-1.824 H23.712 V-1.824 C16.32,-2.208 14.688,-4.416 14.688,-14.112 V-52.8 L38.784,0 H40.128 L64.704,-55.008 Z"
111 d=
"M36.12,-91.68 C35.04,-91.8 34.08,-91.92 33.48,-91.92 28.08,-91.92 22.68,-87.6 21.84,-82.68 21.12,-78.24 23.16,-75.6 28.68,-73.92 25.32,-71.04 23.16,-67.44 22.44,-63.48 21.72,-58.92 23.04,-55.08 26.88,-50.76 22.2,-47.64 19.92,-45.84 17.4,-43.44 12.24,-38.4 8.4,-31.08 7.32,-24.12 5.64,-14.64 9.12,-5.88 15.72,-2.28 19.32,-0.36 23.76,0.36 31.08,0.36 33.24,0.36 35.88,0.24 41.64,0 46.32,-0.24 49.44,3.24 48.72,7.92 48.0,12.48 44.16,15.84 39.72,15.84 39.12,15.84 36.84,15.6 34.56,15.12 31.8,14.76 30.84,14.64 29.76,14.64 26.76,14.64 24.36,16.68 23.88,19.68 23.16,23.76 26.76,26.64 32.64,26.64 38.28,26.64 42.96,24.24 47.76,19.08 51.96,14.52 54.72,9 55.68,3.48 56.64,-1.92 55.32,-6.12 51.96,-9 49.56,-11.16 46.92,-11.76 41.52,-11.76 H31.08 C25.92,-11.76 21.96,-12.24 19.92,-13.2 15.24,-15.48 12.6,-21.12 13.68,-27.36 15.12,-35.88 21.48,-43.08 32.52,-48.84 35.64,-47.64 38.04,-47.28 41.76,-47.28 51.24,-47.28 57.36,-49.8 58.08,-54 58.56,-56.76 55.68,-58.32 50.4,-58.32 45.72,-58.32 41.16,-57 32.16,-53.28 27.6,-57 26.4,-59.4 27,-63.24 27.6,-66.96 30.48,-70.56 35.52,-73.92 41.52,-74.16 45.72,-74.88 49.32,-76.56 53.64,-78.6 56.88,-81.6 57.24,-84.36 57.72,-86.64 55.92,-87.96 52.56,-87.96 48.12,-87.96 42.72,-85.2 33.96,-78.36 30.12,-78.48 27.96,-80.76 28.56,-83.88 28.92,-86.52 31.32,-88.32 35.76,-89.52 L36.12,-91.68Z"
119 id=
"radialGradient7270"
120 xlink:
href=
"#linearGradient3922-0"
121 gradientUnits=
"userSpaceOnUse"
122 gradientTransform=
"matrix(1,0,0,1.3123449,0,11.204569)" />
124 id=
"linearGradient3922-0">
127 style=
"stop-color:#6492a5;stop-opacity:0.61538464"
131 style=
"stop-color:#69a7c1;stop-opacity:0.61538464"
136 inkscape:
connector-curvature=
"0"
137 style=
"fill:url(#radialGradient7270);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.25;stroke-linecap:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
139 transform=
"matrix(5.4788336,0,0,5.4757871,-2087.0257,-2944.8022)"
140 d=
"m 405.89677,550.1131 a 12.651442,12.651442 0 1 1 -25.30288,0 12.651442,12.651442 0 1 1 25.30288,0 z" />
147 style=
"filter:url(#shadow);"
153 style=
"fill:rgb(0,0,128);"
159 style=
"filter:url(#emboss)"
165 style=
"filter:url(#shadow);"
171 style=
"fill:rgb(0,0,128);"
177 style=
"filter:url(#emboss);"
183 style=
"filter:url(#shadow);"
189 style=
"fill:rgb(180,0,0);"
195 style=
"filter:url(#emboss);"