Name: cockpit/contrib/symbols.svg 
1:
<svg xmlns="http://www.w3.org/2000/svg" version="1.1" xmlns:xlink="http://www.w3.org/1999/xlink">
2:
  <defs>
3:
    <!--{{{--><style type="text/css"><![CDATA[
4:
      svg rect.injected {
5:
        fill: Highlight;
6:
        fill-opacity: 0.2;
7:
      }
8:
      
9:
      svg path.ourline {
10:
        stroke-opacity: 0.9;
11:
        stroke:#000000;
12:
        stroke-width: 2;
13:
        fill: none;
14:
      }
15:
      svg rect.block {
16:
        stroke-width: 1;
17:
        stroke-dasharray: 3,5;
18:
        stroke: #000000;
19:
        fill: none;
20:
      }
21:
      svg circle.stand, svg rect.stand {
22:
        stroke:#000000;
23:
        stroke-width:2.06896567;
24:
        stroke-linecap:round;
25:
        stroke-linejoin:round;
26:
        stroke-miterlimit:4;
27:
        stroke-opacity:1;
28:
        stroke-dasharray:none;
29:
      }
30:
      svg text.normal {
31:
        font-size:20px;
32:
        font-style:normal;
33:
        font-variant:normal;
34:
        font-weight:bold;
35:
        font-stretch:normal;
36:
        text-align:center;
37:
        line-height:125%;
38:
        writing-mode:lr-tb;
39:
        text-anchor:middle;
40:
        color:#000000;
41:
        fill:#000000;
42:
        fill-opacity:1;
43:
        stroke:none;
44:
        font-family:Arial;
45:
      }
46:
      
47:
      svg text.super {
48:
        font-size:11px;
49:
        font-style:normal;
50:
        font-variant:normal;
51:
        font-weight:bold;
52:
        font-stretch:normal;
53:
        text-align:center;
54:
        line-height:100%;
55:
        writing-mode:lr-tb;
56:
        text-anchor:left;
57:
        color:#000000;
58:
        fill:#000000;
59:
        fill-opacity:1;
60:
        stroke:none;
61:
        font-family:Arial;
62:
      }
63:
      svg tspan.active {
64:
        fill:#ff0000;
65:
        display: none;
66:
      }
67:
      svg tspan.vote {
68:
        fill:#73d216;
69:
        display: none;
70:
      }
71:
      svg tspan.colon {
72:
        display: none;
73:
      }
74:
      svg tspan.necessary {
75:
        display: inline;
76:
      }
77:
      
78:
      svg text.normallarge {
79:
        font-size:25px;
80:
        font-style:normal;
81:
        font-variant:normal;
82:
        font-weight:bold;
83:
        font-stretch:normal;
84:
        text-align:center;
85:
        line-height:125%;
86:
        writing-mode:lr-tb;
87:
        text-anchor:middle;
88:
        color:#000000;
89:
        fill:#000000;
90:
        fill-opacity:1;
91:
        stroke:none;
92:
        font-family:Arial;
93:
      }
94:
      svg text.small {
95:
        font-size:14px;
96:
        font-style:normal;
97:
        font-variant:normal;
98:
        font-weight:bold;
99:
        font-stretch:normal;
100:
        text-align:center;
101:
        line-height:125%;
102:
        writing-mode:lr-tb;
103:
        text-anchor:middle;
104:
        color:#000000;
105:
        fill:#000000;
106:
        fill-opacity:1;
107:
        stroke:none;
108:
        font-family:Arial;
109:
      }
110:
       
111:
      #arrow {
112:
       stroke: #000000;
113:
       stroke-width: 2;
114:
       fill: #000000;
115:
      }
116:
    ]]></style><!--}}}-->
117:
    <symbol id="activity" class="clickable"><!-- {{{ -->
118:
      <rect x="1" y="1" width="28" height="28" class="stand"/>
119:
    </symbol><!-- }}} -->
120:
    <symbol id="activitymanipulate" class="clickable"><!-- {{{ -->
121:
      <rect x="1" y="1" width="28" height="28" class="stand"/>
122:
      <circle cx="28" cy="28" r="9" class="stand"/>
123:
      <text class="small" transform="translate(28, 32)">m</text>
124:
    </symbol><!-- }}} -->
125:
    <symbol id="call" class="clickable"><!-- {{{ -->
126:
      <circle cx="15" cy="15" r="14" class="stand"/>
127:
      <text class="normal" transform="translate(15, 21)">c</text>
128:
    </symbol><!-- }}} -->
129:
    <symbol id="manipulate" class="clickable"><!-- {{{ -->
130:
      <circle cx="15" cy="15" r="14" class="stand"/>
131:
      <text class="normal" transform="translate(15, 21)">m</text>
132:
    </symbol><!-- }}} -->
133:
    <symbol id="callmanipulate" class="clickable"><!-- {{{ -->
134:
      <circle cx="15" cy="15" r="14" class="stand"/>
135:
      <text class="normal" transform="translate(15, 21)">c</text>
136:
      <circle cx="28" cy="28" r="9" class="stand"/>
137:
      <text class="small" transform="translate(28, 32)">m</text>
138:
    </symbol><!-- }}} -->
139:
    <symbol id="choose" class="clickable"><!-- {{{ -->
140:
      <circle cx="15" cy="15" r="14" class="stand"/>
141:
      <text class="normal" transform="translate(15, 21)">σ</text>
142:
    </symbol><!-- }}} -->
143:
    <symbol id="alternative" class="clickable"><!-- {{{ -->
144:
      <circle cx="15" cy="15" r="14" class="standwithout"/>
145:
      <text class="normal" transform="translate(15, 20)">{..}</text>
146:
    </symbol><!-- }}} -->
147:
    <symbol id="otherwise" class="clickable"><!-- {{{ -->
148:
      <circle cx="15" cy="15" r="14" class="standwithout"/>
149:
      <text class="normal" transform="translate(15, 20)">{⁎}</text>
150:
    </symbol><!-- }}} -->
151:
    <symbol id="parallel" class="clickable"><!-- {{{ -->
152:
      <circle cx="15" cy="15" r="14" class="stand"/>
153:
      <text class="normal" transform="translate(15, 21)">||</text>
154:
    </symbol><!-- }}} -->
155:
    <symbol id="parallel_branch" class="clickable"><!-- {{{ -->
156:
      <circle cx="15" cy="15" r="14" class="stand"/>
157:
      <text class="normal" transform="translate(15, 21)">|</text>
158:
    </symbol><!-- }}} -->
159:
    <symbol id="critical" class="clickable"><!-- {{{ -->
160:
      <circle cx="15" cy="15" r="14" class="stand"/>
161:
      <text class="normal" transform="translate(15, 21)">⚠</text>
162:
    </symbol><!-- }}} -->
163:
    <symbol id="loop" class="clickable"><!-- {{{ -->
164:
      <circle cx="15" cy="15" r="14" class="stand"/>
165:
      <text class="normallarge" transform="translate(15, 24)">↺</text>
166:
    </symbol><!-- }}} -->
167:
    <symbol id="end"><!-- {{{ -->
168:
      <circle cx="15" cy="15" r="14" class="stand"/>
169:
      <circle cx="15" cy="15" r="11" class="stand"/>
170:
      <text class="normal" transform="translate(15, 21)">Ω</text>
171:
    </symbol><!-- }}} -->
172:
    <marker id="arrow" viewBox="0 0 10 10" refX="24" refY="5" orient="auto" markerUnits="strokeWidth" markerWidth="4.5" markerHeight="4.5">
173:
      <path d="m 2 2 l 6 3 l -6 3 z"/>
174:
    </marker>
175:
  </defs>
176:
 
177:
  <g id="canvas">
178:
    <g transform="translate(0, 0)">
179:
      <text class="super" transform="translate(28.4, 8.4)"><tspan class="active necessary">0</tspan><tspan class="colon necessary">,</tspan><tspan class="vote necessary">0</tspan></text>
180:
      <use xlink:href="#call" style="fill: rgb(255, 255, 255); fill-opacity: 1;">
181:
        <title>a1</title>
182:
      </use>
183:
    </g>
184:
    <g transform="translate(45, 0)">
185:
      <text class="super" transform="translate(28.4, 8.4)"><tspan class="active necessary">0</tspan><tspan class="colon necessary">,</tspan><tspan class="vote necessary">0</tspan></text>
186:
      <use xlink:href="#manipulate" style="fill: rgb(255, 255, 255); fill-opacity: 1;">
187:
        <title>a2</title>
188:
      </use>
189:
    </g>
190:
    <g transform="translate(90, 0)">
191:
      <text class="super" transform="translate(28.4, 8.4)"><tspan class="active necessary">0</tspan><tspan class="colon necessary">,</tspan><tspan class="vote necessary">0</tspan></text>
192:
      <use xlink:href="#callmanipulate" style="fill: rgb(255, 255, 255); fill-opacity: 1;">
193:
        <title>a3</title>
194:
      </use>
195:
    </g>
196:
 
197:
    <g transform="translate(0, 40)">
198:
      <text class="super" transform="translate(31.4, 8.4)"><tspan class="active necessary">0</tspan><tspan class="colon necessary">,</tspan><tspan class="vote necessary">0</tspan></text>
199:
      <use xlink:href="#activity" style="fill: rgb(255, 255, 255); fill-opacity: 1;">
200:
        <title>a</title>
201:
      </use>
202:
      <text class="normal" transform="translate(15, 21)">a</text>
203:
    </g>
204:
    <g transform="translate(50, 40)">
205:
      <text class="super" transform="translate(31.4, 8.4)"><tspan class="active necessary">0</tspan><tspan class="colon necessary">,</tspan><tspan class="vote necessary">0</tspan></text>
206:
      <use xlink:href="#activitymanipulate" style="fill: rgb(255, 255, 255); fill-opacity: 1;">
207:
        <title>b</title>
208:
      </use>
209:
      <text class="normal" transform="translate(15, 21)">b</text>
210:
    </g>
211:
 
212:
 
213:
    <use xlink:href="#choose" transform="translate(0,80)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
214:
    <use xlink:href="#alternative" transform="translate(40,80)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
215:
    <use xlink:href="#otherwise" transform="translate(80,80)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
216:
    <use xlink:href="#parallel" transform="translate(0,120)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
217:
    <use xlink:href="#parallel_branch" transform="translate(40,120)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
218:
    <use xlink:href="#critical" transform="translate(0,160)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
219:
    <use xlink:href="#loop" transform="translate(0,200)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
220:
    <use xlink:href="#end" transform="translate(0,240)" style="fill: rgb(255, 255, 255); fill-opacity: 1;"/>
221:
 
222:
    <line x1="5" y1="280" x2="100" y2="320" stroke="black" stroke-width="3" marker-end="url(#arrow)"/>
223:
  </g>
224:
</svg>