~ubuntu-branches/ubuntu/vivid/dicelab/vivid

« back to all changes in this revision

Viewing changes to docs/syntax-sumprod.svg

  • Committer: Bazaar Package Importer
  • Author(s): Robert Lemmen
  • Date: 2009-11-25 12:30:05 UTC
  • mfrom: (1.1.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20091125123005-ylg50em2n998a232
Tags: 0.7-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
 
1
<?xml version="1.0" encoding="UTF-8"?>
 
2
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="235pt" height="130pt" viewBox="0 0 235 130" version="1.1">
 
3
<defs>
 
4
<g>
 
5
<symbol overflow="visible" id="glyph1-0">
 
6
<path style="stroke: none;" d=""/>
 
7
</symbol>
 
8
<symbol overflow="visible" id="glyph1-1">
 
9
<path style="stroke: none;" d="M 4.609375 -1.53125 C 4.609375 -2.484375 3.59375 -2.96875 2.609375 -3.21875 C 2.046875 -3.359375 1.421875 -3.59375 1.421875 -4.15625 C 1.421875 -4.6875 1.9375 -5.015625 2.515625 -5.015625 C 3.15625 -5.015625 3.796875 -4.828125 4.3125 -4.46875 L 4.3125 -4.984375 C 3.796875 -5.328125 3.15625 -5.515625 2.515625 -5.515625 C 1.46875 -5.515625 0.515625 -4.890625 0.515625 -3.90625 C 0.515625 -3.03125 1.484375 -2.625 2.40625 -2.40625 C 3.046875 -2.25 3.703125 -1.90625 3.703125 -1.296875 C 3.703125 -0.734375 3.125 -0.390625 2.515625 -0.390625 C 1.78125 -0.390625 1.0625 -0.5625 0.421875 -0.921875 L 0.421875 -0.421875 C 1.0625 -0.0625 1.78125 0.125 2.515625 0.125 C 3.59375 0.125 4.609375 -0.53125 4.609375 -1.53125 Z M 4.609375 -1.53125 "/>
 
10
</symbol>
 
11
<symbol overflow="visible" id="glyph1-2">
 
12
<path style="stroke: none;" d="M 5.25 0 L 5.25 -5.40625 L 4.3125 -5.40625 L 4.3125 -1.15625 C 3.90625 -0.75 3.390625 -0.4375 2.828125 -0.4375 C 2.265625 -0.4375 1.84375 -0.921875 1.84375 -1.5 L 1.84375 -5.40625 L 0.90625 -5.40625 L 0.90625 -1.5 C 0.90625 -0.625 1.578125 0.125 2.4375 0.125 C 3.15625 0.125 3.796875 -0.28125 4.3125 -0.796875 L 4.3125 0 L 5.25 0 Z M 5.25 0 "/>
 
13
</symbol>
 
14
<symbol overflow="visible" id="glyph1-3">
 
15
<path style="stroke: none;" d="M 7.515625 0 L 7.515625 -3.90625 C 7.515625 -4.734375 7.015625 -5.515625 6.234375 -5.515625 C 5.5625 -5.515625 4.9375 -5.171875 4.578125 -4.609375 C 4.390625 -5.140625 3.984375 -5.515625 3.4375 -5.515625 C 2.8125 -5.515625 2.296875 -5.09375 1.890625 -4.609375 L 1.890625 -5.40625 L 0.953125 -5.40625 L 0.953125 0 L 1.890625 0 L 1.890625 -4.25 C 2.1875 -4.625 2.546875 -4.96875 3.015625 -4.96875 C 3.5 -4.96875 3.765625 -4.4375 3.765625 -3.90625 L 3.765625 0 L 4.703125 0 L 4.703125 -3.90625 C 4.703125 -4.046875 4.6875 -4.171875 4.671875 -4.3125 C 4.953125 -4.6875 5.359375 -4.96875 5.8125 -4.96875 C 6.3125 -4.96875 6.578125 -4.4375 6.578125 -3.90625 L 6.578125 0 L 7.515625 0 Z M 7.515625 0 "/>
 
16
</symbol>
 
17
<symbol overflow="visible" id="glyph1-4">
 
18
<path style="stroke: none;" d="M 5.546875 -2.703125 C 5.546875 -4.296875 4.9375 -5.515625 3.484375 -5.515625 C 2.875 -5.515625 2.3125 -5.25 1.84375 -4.859375 L 1.84375 -5.40625 L 0.90625 -5.40625 L 0.90625 2.765625 L 1.84375 2.765625 L 1.84375 -0.203125 C 2.296875 0 2.8125 0.125 3.3125 0.125 C 4.8125 0.125 5.546875 -1.078125 5.546875 -2.703125 Z M 4.484375 -2.703125 C 4.484375 -1.578125 4.140625 -0.390625 3.15625 -0.390625 C 2.703125 -0.390625 2.25 -0.5 1.84375 -0.703125 L 1.84375 -4.359375 C 2.203125 -4.71875 2.640625 -5.015625 3.15625 -5.015625 C 4.25 -5.015625 4.484375 -3.953125 4.484375 -2.703125 Z M 4.484375 -2.703125 "/>
 
19
</symbol>
 
20
<symbol overflow="visible" id="glyph1-5">
 
21
<path style="stroke: none;" d="M 3.953125 -4.65625 L 3.953125 -5.40625 C 3.8125 -5.453125 3.671875 -5.484375 3.546875 -5.484375 C 2.875 -5.484375 2.328125 -5.015625 1.890625 -4.5 L 1.890625 -5.40625 L 0.953125 -5.40625 L 0.953125 0 L 1.890625 0 L 1.890625 -4 C 2.25 -4.421875 2.71875 -4.78125 3.265625 -4.78125 C 3.484375 -4.78125 3.734375 -4.734375 3.953125 -4.65625 Z M 3.953125 -4.65625 "/>
 
22
</symbol>
 
23
<symbol overflow="visible" id="glyph1-6">
 
24
<path style="stroke: none;" d="M 5.296875 -2.703125 C 5.296875 -4.53125 4.484375 -5.515625 2.984375 -5.515625 C 1.46875 -5.515625 0.65625 -4.53125 0.65625 -2.703125 C 0.65625 -0.859375 1.46875 0.125 2.984375 0.125 C 4.484375 0.125 5.296875 -0.859375 5.296875 -2.703125 Z M 4.25 -2.703125 C 4.25 -1.203125 3.796875 -0.390625 2.984375 -0.390625 C 2.15625 -0.390625 1.71875 -1.203125 1.71875 -2.703125 C 1.71875 -4.203125 2.15625 -5.015625 2.984375 -5.015625 C 3.796875 -5.015625 4.25 -4.203125 4.25 -2.703125 Z M 4.25 -2.703125 "/>
 
25
</symbol>
 
26
<symbol overflow="visible" id="glyph1-7">
 
27
<path style="stroke: none;" d="M 5.296875 0 L 5.296875 -8.40625 L 4.375 -8.40625 L 4.375 -5.203125 C 3.90625 -5.40625 3.390625 -5.515625 2.890625 -5.515625 C 1.390625 -5.515625 0.65625 -4.3125 0.65625 -2.703125 C 0.65625 -1.109375 1.265625 0.125 2.71875 0.125 C 3.328125 0.125 3.890625 -0.15625 4.375 -0.546875 L 4.375 0 L 5.296875 0 Z M 4.375 -1.046875 C 4.015625 -0.6875 3.5625 -0.390625 3.046875 -0.390625 C 1.953125 -0.390625 1.71875 -1.4375 1.71875 -2.703125 C 1.71875 -3.828125 2.0625 -5.015625 3.046875 -5.015625 C 3.5 -5.015625 3.953125 -4.890625 4.375 -4.6875 L 4.375 -1.046875 Z M 4.375 -1.046875 "/>
 
28
</symbol>
 
29
<symbol overflow="visible" id="glyph0-0">
 
30
<path style="stroke: none;" d=""/>
 
31
</symbol>
 
32
<symbol overflow="visible" id="glyph0-1">
 
33
<path style="stroke: none;" d="M 5.640625 -2.578125 L 5.640625 -2.703125 C 5.640625 -4.390625 4.625 -5.515625 3.125 -5.515625 C 1.609375 -5.515625 0.59375 -4.390625 0.59375 -2.703125 C 0.59375 -1.015625 1.609375 0.125 3.125 0.125 C 3.765625 0.125 4.390625 -0.0625 4.9375 -0.390625 L 4.9375 -1.109375 C 4.3125 -0.796875 3.828125 -0.671875 3.125 -0.671875 C 2.21875 -0.671875 2.046875 -1.546875 2.046875 -2.578125 L 5.640625 -2.578125 Z M 4.203125 -3.15625 L 2.046875 -3.15625 C 2.046875 -3.96875 2.390625 -4.796875 3.125 -4.796875 C 3.859375 -4.796875 4.203125 -3.96875 4.203125 -3.15625 Z M 4.203125 -3.15625 "/>
 
34
</symbol>
 
35
<symbol overflow="visible" id="glyph0-2">
 
36
<path style="stroke: none;" d="M 5.25 0 L 3.359375 -2.921875 L 5.203125 -5.40625 L 4.296875 -5.40625 L 2.9375 -3.578125 L 1.75 -5.40625 L 0.34375 -5.40625 L 2.140625 -2.609375 L 0.21875 0 L 1.109375 0 L 2.5625 -1.953125 L 3.84375 0 L 5.25 0 Z M 5.25 0 "/>
 
37
</symbol>
 
38
<symbol overflow="visible" id="glyph0-3">
 
39
<path style="stroke: none;" d="M 5.859375 -2.703125 C 5.859375 -4.296875 5.25 -5.515625 3.796875 -5.515625 C 3.1875 -5.515625 2.609375 -5.25 2.140625 -4.859375 L 2.140625 -5.40625 L 0.8125 -5.40625 L 0.8125 2.765625 L 2.140625 2.765625 L 2.140625 -0.203125 C 2.609375 0 3.109375 0.125 3.609375 0.125 C 5.125 0.125 5.859375 -1.078125 5.859375 -2.703125 Z M 4.421875 -2.703125 C 4.421875 -1.6875 4.15625 -0.59375 3.28125 -0.59375 C 2.875 -0.59375 2.515625 -0.65625 2.140625 -0.78125 L 2.140625 -4.28125 C 2.453125 -4.578125 2.84375 -4.796875 3.28125 -4.796875 C 4.15625 -4.796875 4.421875 -3.71875 4.421875 -2.703125 Z M 4.421875 -2.703125 "/>
 
40
</symbol>
 
41
<symbol overflow="visible" id="glyph0-4">
 
42
<path style="stroke: none;" d="M 4.109375 -4.34375 L 4.109375 -5.40625 C 4 -5.453125 3.859375 -5.484375 3.734375 -5.484375 C 3.0625 -5.484375 2.578125 -4.9375 2.1875 -4.390625 L 2.1875 -5.40625 L 0.859375 -5.40625 L 0.859375 0 L 2.1875 0 L 2.1875 -3.671875 C 2.515625 -4.09375 2.9375 -4.484375 3.46875 -4.484375 C 3.703125 -4.484375 3.90625 -4.4375 4.109375 -4.34375 Z M 4.109375 -4.34375 "/>
 
43
</symbol>
 
44
</g>
 
45
</defs>
 
46
<g id="surface0">
 
47
<g style="fill: rgb(0%,0%,0%); fill-opacity: 1;">
 
48
  <use xlink:href="#glyph0-1" x="31.40625" y="35.1875"/>
 
49
  <use xlink:href="#glyph0-2" x="37.586288" y="35.1875"/>
 
50
  <use xlink:href="#glyph0-3" x="43.058334" y="35.1875"/>
 
51
  <use xlink:href="#glyph0-4" x="49.50238" y="35.1875"/>
 
52
</g>
 
53
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 28 24 C 28 29.332031 20 29.332031 20 24 C 20 18.667969 28 18.667969 28 24 M 28 24 L 69.613281 24 "/>
 
54
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 69 24 L 81 24 M 81 24 L 93 24 "/>
 
55
<path style=" stroke:none;fill-rule: nonzero; fill: rgb(0%,0%,0%); fill-opacity: 1;" d="M 85 22 L 91 24 L 85 26 L 86 24 Z M 85 22 "/>
 
56
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 81 24 L 81 56 "/>
 
57
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 93 16 L 93 32 L 95 34 L 118 34 L 120 32 L 120 16 L 118 14 L 95 14 L 93 16 Z M 93 16 "/>
 
58
<g style="fill: rgb(0%,0%,0%); fill-opacity: 1;">
 
59
  <use xlink:href="#glyph1-1" x="96.578125" y="27.402344"/>
 
60
  <use xlink:href="#glyph1-2" x="101.726166" y="27.402344"/>
 
61
  <use xlink:href="#glyph1-3" x="107.930206" y="27.402344"/>
 
62
</g>
 
63
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 120 24 L 132 24 M 132 14 L 161 14 L 161 34 L 132 34 Z M 132 14 "/>
 
64
<g style="fill: rgb(0%,0%,0%); fill-opacity: 1;">
 
65
  <use xlink:href="#glyph0-1" x="135.40625" y="27.1875"/>
 
66
  <use xlink:href="#glyph0-2" x="141.586288" y="27.1875"/>
 
67
  <use xlink:href="#glyph0-3" x="147.058334" y="27.1875"/>
 
68
  <use xlink:href="#glyph0-4" x="153.50238" y="27.1875"/>
 
69
</g>
 
70
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 161 24 L 175 24 L 175 56 "/>
 
71
<path style=" stroke:none;fill-rule: nonzero; fill: rgb(0%,0%,0%); fill-opacity: 1;" d="M 167 22 L 173 24 L 167 26 L 168 24 Z M 167 22 "/>
 
72
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 81 56 L 93 56 "/>
 
73
<path style=" stroke:none;fill-rule: nonzero; fill: rgb(0%,0%,0%); fill-opacity: 1;" d="M 85 54 L 91 56 L 85 58 L 86 56 Z M 85 54 "/>
 
74
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 93 48 L 93 64 L 95 66 L 120 66 L 122 64 L 122 48 L 120 46 L 95 46 L 93 48 Z M 93 48 "/>
 
75
<g style="fill: rgb(0%,0%,0%); fill-opacity: 1;">
 
76
  <use xlink:href="#glyph1-4" x="96.09375" y="59.402344"/>
 
77
  <use xlink:href="#glyph1-5" x="102.297791" y="59.402344"/>
 
78
  <use xlink:href="#glyph1-6" x="106.485825" y="59.402344"/>
 
79
  <use xlink:href="#glyph1-7" x="112.44986" y="59.402344"/>
 
80
</g>
 
81
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 122 56 L 134 56 M 134 46 L 163 46 L 163 66 L 134 66 Z M 134 46 "/>
 
82
<g style="fill: rgb(0%,0%,0%); fill-opacity: 1;">
 
83
  <use xlink:href="#glyph0-1" x="137.40625" y="59.1875"/>
 
84
  <use xlink:href="#glyph0-2" x="143.586288" y="59.1875"/>
 
85
  <use xlink:href="#glyph0-3" x="149.058334" y="59.1875"/>
 
86
  <use xlink:href="#glyph0-4" x="155.50238" y="59.1875"/>
 
87
</g>
 
88
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 163 56 L 175 56 "/>
 
89
<path style=" stroke:none;fill-rule: nonzero; fill: rgb(0%,0%,0%); fill-opacity: 1;" d="M 167 54 L 173 56 L 167 58 L 168 56 Z M 167 54 "/>
 
90
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 175 24 L 187 24 "/>
 
91
<path style="fill: none; stroke-width: 1; stroke-linecap: square; stroke-linejoin: miter; stroke: rgb(0%,0%,0%); stroke-opacity: 1;stroke-miterlimit: 10; " d="M 187 24 L 203 24 "/>
 
92
<path style=" stroke:none;fill-rule: nonzero; fill: rgb(0%,0%,0%); fill-opacity: 1;" d="M 209 24 C 209 29.332031 201 29.332031 201 24 C 201 18.667969 209 18.667969 209 24 "/>
 
93
</g>
 
94
</svg>