From fc93840015ce94da34405ed744d6afc0ba10878b Mon Sep 17 00:00:00 2001
From: Martin Thoma <info@martin-thoma.de>
Date: Sun, 16 Sep 2012 21:18:09 +0200
Subject: [PATCH] applied mathsf

---
 .../vector-triangle-inequality.svg            | 429 ++++++++++++++++++
 1 file changed, 429 insertions(+)
 create mode 100644 tikz/vector-triangle-inequality/vector-triangle-inequality.svg

diff --git a/tikz/vector-triangle-inequality/vector-triangle-inequality.svg b/tikz/vector-triangle-inequality/vector-triangle-inequality.svg
new file mode 100644
index 0000000..a63ce5f
--- /dev/null
+++ b/tikz/vector-triangle-inequality/vector-triangle-inequality.svg
@@ -0,0 +1,429 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   version="1.1"
+   width="166.325pt"
+   height="81.432999pt"
+   viewBox="0 0 166.325 81.433"
+   id="svg2">
+  <defs
+     id="defs4">
+    <g
+       id="g6">
+      <symbol
+         id="glyph0-0"
+         style="overflow:visible">
+        <path
+           d=""
+           id="path9"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph0-1"
+         style="overflow:visible">
+        <path
+           d="m 0.546875,-4.546875 -0.28125,-2.71875 C 0.25,-7.46875 0.21875,-7.5 0.171875,-7.546875 c -0.171875,-0.171875 -0.34375,0 -0.46875,0.125 l -0.375,0.375 c -0.15625,0.15625 -0.25,0.25 -0.25,0.46875 0,0.09375 0.1875,1.375 0.25,1.71875 l -1.65625,-0.1875 c -0.3125,-0.03125 -0.40625,0.0625 -0.609375,0.265625 l -0.375,0.375 c -0.09375,0.09375 -0.28125,0.28125 -0.109375,0.453125 0.0625,0.0625 0.109375,0.078125 0.234375,0.078125 l 2.8125,0.25 0.296875,2.984375 c 0.015625,0.109375 0.03125,0.1875 0.09375,0.25 0.1875,0.1875 0.375,0 0.5,-0.125 L 0.875,-0.875 c 0.28125,-0.28125 0.28125,-0.3125 0.15625,-0.78125 l -0.328125,-1.796875 2.0625,0.34375 C 3.0625,-3.0625 3.15625,-3.15625 3.34375,-3.34375 l 0.375,-0.375 c 0.109375,-0.109375 0.296875,-0.296875 0.109375,-0.484375 -0.0625,-0.0625 -0.125,-0.0625 -0.28125,-0.0625 l -3,-0.28125 z m 0,0"
+           id="path12"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph1-0"
+         style="overflow:visible">
+        <path
+           d=""
+           id="path15"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph1-1"
+         style="overflow:visible">
+        <path
+           d="m 7.40625,-0.984375 c 0.125,-0.09375 0.140625,-0.125 0.1875,-0.171875 C 7.765625,-1.421875 7.5,-1.59375 7.359375,-1.6875 l -0.21875,-0.140625 c -0.15625,-0.109375 -0.375,-0.25 -0.671875,-0.125 -0.078125,0.015625 -2.34375,1.6875 -2.859375,2.3125 l 0,0 c 0.28125,-0.5 0.484375,-1.71875 0.6875,-2.953125 0.171875,-0.828125 0.1875,-1.015625 -0.3125,-1.34375 L 3.71875,-4.109375 c -0.140625,-0.09375 -0.390625,-0.265625 -0.5625,0 -0.03125,0.03125 -0.03125,0.125 -0.046875,0.1875 L 2.21875,1.484375 C 2,1.640625 1.90625,1.734375 1.796875,1.8125 1.46875,2.0625 1,2.40625 0.46875,2.046875 0.125,1.8125 0,1.515625 -0.078125,1.375 -0.109375,1.328125 -0.109375,1.296875 -0.125,1.28125 -0.1875,1.25 -0.296875,1.21875 -0.375,1.34375 -0.421875,1.4375 -0.8125,2.140625 -0.8125,2.1875 -0.828125,2.390625 -0.28125,2.765625 -0.125,2.875 1.109375,3.6875 2.390625,2.84375 2.625,2.65625 l 4.78125,-3.640625 z m 0,0"
+           id="path18"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph2-0"
+         style="overflow:visible">
+        <path
+           d=""
+           id="path21"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph2-1"
+         style="overflow:visible">
+        <path
+           d="m 5.09375,-4.5625 c 0.125,-0.15625 0.140625,-0.21875 0.140625,-0.40625 0,-0.5 -0.375,-0.5 -0.578125,-0.5 l -3.53125,0 c -0.15625,0 -0.578125,0 -0.578125,0.453125 0,0.4375 0.390625,0.4375 0.703125,0.4375 0.390625,0 1.359375,-0.03125 1.734375,-0.03125 l 0.453125,0 -2.921875,3.703125 C 0.390625,-0.75 0.375,-0.6875 0.375,-0.5 0.375,0 0.734375,0 0.9375,0 l 3.765625,0 c 0.15625,0 0.5625,0 0.5625,-0.4375 0,-0.453125 -0.359375,-0.453125 -0.71875,-0.453125 -0.59375,0 -1.21875,0.015625 -1.828125,0.015625 l -0.546875,0 2.921875,-3.6875 z m 0,0"
+           id="path24"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph2-2"
+         style="overflow:visible">
+        <path
+           d="m 3.59375,-2.828125 1.734375,-2.125 c 0.125,-0.15625 0.125,-0.203125 0.125,-0.265625 0,-0.25 -0.234375,-0.25 -0.421875,-0.25 l -0.515625,0 c -0.21875,0 -0.359375,0 -0.515625,0.171875 -0.0625,0.0625 -0.84375,1.09375 -1.046875,1.375 L 1.921875,-5.21875 c -0.203125,-0.25 -0.328125,-0.25 -0.609375,-0.25 l -0.53125,0 c -0.140625,0 -0.40625,0 -0.40625,0.25 0,0.09375 0.03125,0.140625 0.109375,0.234375 l 1.8125,2.15625 L 0.40625,-0.5 c -0.078125,0.078125 -0.125,0.140625 -0.125,0.234375 C 0.28125,0 0.546875,0 0.71875,0 L 1.234375,0 C 1.625,0 1.65625,-0.03125 1.90625,-0.4375 l 1.03125,-1.515625 1.21875,1.71875 C 4.328125,0 4.46875,0 4.71875,0 L 5.25,0 c 0.171875,0 0.421875,0 0.421875,-0.265625 0,-0.09375 -0.046875,-0.140625 -0.140625,-0.25 l -1.9375,-2.3125 z m 0,0"
+           id="path27"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph2-3"
+         style="overflow:visible">
+        <path
+           d="m 5.59375,-4.90625 c 0.0625,-0.15625 0.0625,-0.1875 0.0625,-0.25 0,-0.3125 -0.328125,-0.3125 -0.484375,-0.3125 l -0.265625,0 c -0.1875,0 -0.453125,0 -0.625,0.265625 -0.03125,0.0625 -1,2.703125 -1.0625,3.5 l -0.015625,0 C 3.140625,-2.28125 2.65625,-3.390625 2.140625,-4.546875 1.8125,-5.296875 1.71875,-5.46875 1.125,-5.46875 l -0.3125,0 c -0.171875,0 -0.46875,0 -0.46875,0.3125 0,0.046875 0.03125,0.125 0.0625,0.1875 L 2.671875,0 C 2.5625,0.25 2.53125,0.375 2.5,0.5 2.359375,0.890625 2.15625,1.4375 1.5,1.4375 1.109375,1.4375 0.84375,1.265625 0.703125,1.1875 0.640625,1.140625 0.625,1.140625 0.578125,1.140625 0.53125,1.140625 0.4375,1.171875 0.4375,1.3125 c 0,0.09375 0.0625,0.921875 0.09375,0.96875 0.109375,0.140625 0.765625,0.171875 0.953125,0.171875 1.484375,0 2.0625,-1.40625 2.15625,-1.703125 L 5.59375,-4.90625 z m 0,0"
+           id="path30"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph3-0"
+         style="overflow:visible">
+        <path
+           d=""
+           id="path33"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph3-1"
+         style="overflow:visible">
+        <path
+           d="m 9.21875,-3.953125 c 0.171875,0 0.484375,0 0.484375,-0.34375 0,-0.3125 -0.3125,-0.3125 -0.46875,-0.3125 l -8.015625,0 c -0.15625,0 -0.484375,0 -0.484375,0.3125 0,0.34375 0.3125,0.34375 0.5,0.34375 l 7.984375,0 z m 0.015625,2.609375 c 0.15625,0 0.46875,0 0.46875,-0.328125 0,-0.34375 -0.3125,-0.34375 -0.484375,-0.34375 l -7.984375,0 c -0.1875,0 -0.5,0 -0.5,0.34375 0,0.328125 0.328125,0.328125 0.484375,0.328125 l 8.015625,0 z m 0,0"
+           id="path36"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph3-2"
+         style="overflow:visible">
+        <path
+           d="m 5.5625,-2.65625 3.671875,0 c 0.15625,0 0.46875,0 0.46875,-0.3125 0,-0.34375 -0.3125,-0.34375 -0.46875,-0.34375 l -3.671875,0 0,-3.6875 c 0,-0.140625 0,-0.46875 -0.328125,-0.46875 -0.328125,0 -0.328125,0.3125 -0.328125,0.46875 l 0,3.6875 -3.6875,0 c -0.171875,0 -0.484375,0 -0.484375,0.34375 0,0.3125 0.328125,0.3125 0.484375,0.3125 l 3.6875,0 0,3.6875 c 0,0.15625 0,0.46875 0.3125,0.46875 C 5.5625,1.5 5.5625,1.1875 5.5625,1.03125 l 0,-3.6875 z m 0,0"
+           id="path39"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph4-0"
+         style="overflow:visible">
+        <path
+           d=""
+           id="path42"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph4-1"
+         style="overflow:visible">
+        <path
+           d="m 2.46875,-8.421875 c 0,-0.171875 0,-0.546875 -0.375,-0.546875 -0.359375,0 -0.359375,0.375 -0.359375,0.546875 l 0,10.859375 c 0,0.1875 0,0.53125 0.359375,0.53125 0.375,0 0.375,-0.359375 0.375,-0.53125 l 0,-10.859375 z m 2.65625,0 c 0,-0.1875 0,-0.546875 -0.359375,-0.546875 -0.359375,0 -0.359375,0.375 -0.359375,0.546875 l 0,10.859375 c 0,0.171875 0,0.53125 0.359375,0.53125 C 5.125,2.96875 5.125,2.609375 5.125,2.4375 l 0,-10.859375 z m 0,0"
+           id="path45"
+           style="stroke:none" />
+      </symbol>
+      <symbol
+         id="glyph4-2"
+         style="overflow:visible">
+        <path
+           d="m 9.234375,-7.59375 c 0.125,-0.0625 0.296875,-0.15625 0.296875,-0.359375 0,-0.234375 -0.203125,-0.375 -0.359375,-0.375 -0.09375,0 -0.15625,0.03125 -0.25,0.0625 L 1.453125,-4.6875 c -0.203125,0.09375 -0.3125,0.203125 -0.3125,0.390625 0,0.203125 0.171875,0.296875 0.3125,0.359375 l 7.4375,3.5625 C 9.0625,-0.28125 9.125,-0.28125 9.15625,-0.28125 c 0.234375,0 0.375,-0.203125 0.375,-0.359375 0,-0.15625 -0.078125,-0.28125 -0.296875,-0.390625 l -6.875,-3.265625 6.875,-3.296875 z m -0.25,9.96875 c 0.1875,0 0.546875,0 0.546875,-0.359375 0,-0.359375 -0.375,-0.359375 -0.546875,-0.359375 l -7.296875,0 c -0.171875,0 -0.546875,0 -0.546875,0.359375 0,0.359375 0.375,0.359375 0.546875,0.359375 l 7.296875,0 z m 0,0"
+           id="path48"
+           style="stroke:none" />
+      </symbol>
+    </g>
+  </defs>
+  <g
+     id="surface0">
+    <path
+       d="m 12.296875,59.484375 141.734375,0 L 68.988281,2.789062 12.296875,59.484375"
+       id="path51"
+       style="fill:#f3f3ff;fill-opacity:1;fill-rule:nonzero;stroke:none" />
+    <path
+       d="m 8.75e-4,-0.001375 51.875,51.875"
+       transform="matrix(1,0,0,-1,12.296,59.483)"
+       id="path53"
+       style="fill:none;stroke:#75913a;stroke-width:1.59404004;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1" />
+    <path
+       d="m 68.988281,2.789062 c -1.695312,1.160157 -4.816406,2.675782 -7.359375,3.347657 l 4.015625,4.015625 C 66.3125,7.609375 67.828125,4.484375 68.988281,2.789062"
+       id="path55"
+       style="fill:#75913a;fill-opacity:1;fill-rule:nonzero;stroke:none" />
+    <g
+       id="g57"
+       style="fill:#75913a;fill-opacity:1">
+      <use
+         id="use59"
+         x="35.207001"
+         y="29.927"
+         width="1"
+         height="1"
+         xlink:href="#glyph0-1" />
+    </g>
+    <path
+       d="M 56.692281,56.693938 136.04775,3.791594"
+       transform="matrix(1,0,0,-1,12.296,59.483)"
+       id="path61"
+       style="fill:none;stroke:#3333ff;stroke-width:1.59404004;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1" />
+    <path
+       d="m 154.03125,59.484375 c -1.47656,-1.441406 -3.58203,-4.214844 -4.74219,-6.585937 l -3.16015,4.742187 c 2.63671,0.15625 6.0039,1.035156 7.90234,1.84375"
+       id="path63"
+       style="fill:#3333ff;fill-opacity:1;fill-rule:nonzero;stroke:none" />
+    <g
+       id="g65"
+       style="fill:#3333ff;fill-opacity:1">
+      <use
+         id="use67"
+         x="112.846"
+         y="23.561001"
+         width="1"
+         height="1"
+         xlink:href="#glyph1-1" />
+    </g>
+    <path
+       d="m 8.75e-4,-0.001375 134.917965,0"
+       transform="matrix(1,0,0,-1,12.296,59.483)"
+       id="path69"
+       style="fill:none;stroke:#ff3333;stroke-width:1.59404004;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:10;stroke-opacity:1" />
+    <path
+       d="m 154.03125,59.484375 c -2.01953,-0.378906 -5.30078,-1.515625 -7.57422,-2.839844 l 0,5.679688 c 2.27344,-1.328125 5.55469,-2.460938 7.57422,-2.839844"
+       id="path71"
+       style="fill:#ff3333;fill-opacity:1;fill-rule:nonzero;stroke:none" />
+    <g
+       id="g73"
+       style="fill:#ff3333;fill-opacity:1">
+      <use
+         id="use75"
+         x="56.910999"
+         y="52.459999"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-1" />
+    </g>
+    <g
+       id="g77"
+       style="fill:#ff3333;fill-opacity:1">
+      <use
+         id="use79"
+         x="66.425003"
+         y="52.459999"
+         width="1"
+         height="1"
+         xlink:href="#glyph3-1" />
+    </g>
+    <g
+       id="g81"
+       style="fill:#ff3333;fill-opacity:1">
+      <use
+         id="use83"
+         x="80.705002"
+         y="52.459999"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-2" />
+    </g>
+    <g
+       id="g85"
+       style="fill:#ff3333;fill-opacity:1">
+      <use
+         id="use87"
+         x="89.737999"
+         y="52.459999"
+         width="1"
+         height="1"
+         xlink:href="#glyph3-2" />
+    </g>
+    <g
+       id="g89"
+       style="fill:#ff3333;fill-opacity:1">
+      <use
+         id="use91"
+         x="103.254"
+         y="52.459999"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-3" />
+    </g>
+    <g
+       id="g93"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use95"
+         x="5.8940001"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g97"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use99"
+         x="12.768"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-1" />
+    </g>
+    <g
+       id="g101"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use103"
+         x="18.464001"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g105"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use107"
+         x="29.157"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph3-1" />
+    </g>
+    <g
+       id="g109"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use111"
+         x="43.437"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g113"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use115"
+         x="50.311001"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-2" />
+    </g>
+    <g
+       id="g117"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use119"
+         x="59.344002"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph3-2" />
+    </g>
+    <g
+       id="g121"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use123"
+         x="72.860001"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-3" />
+    </g>
+    <g
+       id="g125"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use127"
+         x="79.019997"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g129"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use131"
+         x="89.707947"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-2" />
+    </g>
+    <g
+       id="g133"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use135"
+         x="104.22634"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g137"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use139"
+         x="111.099"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-2" />
+    </g>
+    <g
+       id="g141"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use143"
+         x="117.077"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g145"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use147"
+         x="127.006"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph3-2" />
+    </g>
+    <g
+       id="g149"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use151"
+         x="140.522"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+    <g
+       id="g153"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use155"
+         x="147.396"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph2-3" />
+    </g>
+    <g
+       id="g157"
+       style="fill:#000000;fill-opacity:1">
+      <use
+         id="use159"
+         x="153.55701"
+         y="72.550003"
+         width="1"
+         height="1"
+         xlink:href="#glyph4-1" />
+    </g>
+  </g>
+</svg>