docs/media/interval/interval.svg

<?xml version="1.0" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<svg xmlns="http://www.w3.org/2000/svg" version="1.1" class="railroad-diagram" width="441" height="92" viewBox="0 0 441 92">
<defs><style type="text/css"><![CDATA[ svg.railroad-diagram {
  background-color: hsl(30,20%,95%);
}
svg.railroad-diagram path {
  stroke-width: 3;
  stroke: black;
  fill: none;
}
svg.railroad-diagram text {
  font: bold 14px monospace;
  text-anchor: middle;
  cursor: pointer;
}
svg.railroad-diagram text.label {
  text-anchor: start;
}
svg.railroad-diagram text.comment {
  font: italic 12px monospace;
}
svg.railroad-diagram rect {
  stroke-width: 3;
  stroke: black;
  fill: hsl(120,100%,90%);
}
 ]]></style></defs>
<g transform="translate(.5 .5)">
<path d="M 20 21 v 20 m 10 -20 v 20 m -10 -10 h 20.5"></path>
<g>
<path d="M40 31h0"></path>
<path d="M400 31h0"></path>
<g>
<path d="M40 31h0"></path>
<path d="M108 31h0"></path>
<path d="M40 31h20"></path>
<g>
<path d="M60 31h0"></path>
<path d="M88 31h0"></path>
<rect x="60" y="20" width="28" height="22" rx="10" ry="10"></rect>
<text x="74" y="35">&#91;</text>
</g>
<path d="M88 31h20"></path>
<path d="M40 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"></path>
<g>
<path d="M60 61h0"></path>
<path d="M88 61h0"></path>
<rect x="60" y="50" width="28" height="22" rx="10" ry="10"></rect>
<text x="74" y="65">(</text>
</g>
<path d="M88 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"></path>
</g>
<path d="M108 31h10"></path>
<g>
<path d="M118 31h0"></path>
<path d="M186 31h0"></path>
<rect x="118" y="20" width="68" height="22"></rect>
<text x="152" y="35">number</text>
</g>
<path d="M186 31h10"></path>
<path d="M196 31h10"></path>
<g>
<path d="M206 31h0"></path>
<path d="M234 31h0"></path>
<rect x="206" y="20" width="28" height="22" rx="10" ry="10"></rect>
<text x="220" y="35">,</text>
</g>
<path d="M234 31h10"></path>
<path d="M244 31h10"></path>
<g>
<path d="M254 31h0"></path>
<path d="M322 31h0"></path>
<rect x="254" y="20" width="68" height="22"></rect>
<text x="288" y="35">number</text>
</g>
<path d="M322 31h10"></path>
<g>
<path d="M332 31h0"></path>
<path d="M400 31h0"></path>
<path d="M332 31h20"></path>
<g>
<path d="M352 31h0"></path>
<path d="M380 31h0"></path>
<rect x="352" y="20" width="28" height="22" rx="10" ry="10"></rect>
<text x="366" y="35">)</text>
</g>
<path d="M380 31h20"></path>
<path d="M332 31a10 10 0 0 1 10 10v10a10 10 0 0 0 10 10"></path>
<g>
<path d="M352 61h0"></path>
<path d="M380 61h0"></path>
<rect x="352" y="50" width="28" height="22" rx="10" ry="10"></rect>
<text x="366" y="65">&#93;</text>
</g>
<path d="M380 61a10 10 0 0 0 10 -10v-10a10 10 0 0 1 10 -10"></path>
</g>
</g>
<path d="M 400 31 h 20 m -10 -10 v 20 m 10 -20 v 20"></path>
</g>
</svg>