fingertree-0.1.6.3: images/search.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 width="700" height="200" xmlns="http://www.w3.org/2000/svg" version="1.1">
<g transform="translate(25,90)">
 <g stroke="black" stroke-width="1" fill="#fda">
  <rect x="0" y="0" height="50" width="600" />
  <line x1="300" y1="0" x2="300" y2="50" />
  <line x1="340" y1="0" x2="340" y2="50" />
 </g>
 <g transform="translate(0,-15)">
  <g stroke="black" stroke-width="0.5" fill="none">
   <line x1="0" y1="0" x2="600" y2="0" />
   <line x1="0" y1="-12" x2="0" y2="12" />
   <line x1="300" y1="-12" x2="300" y2="12" />
   <line x1="600" y1="-12" x2="600" y2="12" />
   <polyline points="9,-8 1,0 9,8" />
   <polyline points="291,-8 299,0 291,8" />
   <polyline points="309,-8 301,0 309,8" />
   <polyline points="591,-8 599,0 591,8" />
  </g>
 </g>
 <g transform="translate(0,65)">
  <g stroke="black" stroke-width="0.5" fill="none">
   <line x1="0" y1="0" x2="600" y2="0" />
   <line x1="0" y1="-12" x2="0" y2="12" />
   <line x1="340" y1="-12" x2="340" y2="12" />
   <line x1="600" y1="-12" x2="600" y2="12" />
   <polyline points="9,-8 1,0 9,8" />
   <polyline points="331,-8 339,0 331,8" />
   <polyline points="349,-8 341,0 349,8" />
   <polyline points="591,-8 599,0 591,8" />
  </g>
 </g>
 <g>
  <text x="150" y="30" text-anchor="middle">l</text>
  <text x="320" y="30" text-anchor="middle">x</text>
  <text x="470" y="30" text-anchor="middle">r</text>
  <text x="150" y="-30" text-anchor="middle">measure l</text>
  <text x="450" y="-30" text-anchor="middle">measure (x &lt;| r)</text>
  <text x="170" y="90" text-anchor="middle">measure (l |&gt; x)</text>
  <text x="470" y="90" text-anchor="middle">measure r</text>
 </g>
 <g fill="#00f" transform="translate(640,0)">
  <g stroke="#00f" stroke-width="1">
   <line x1="-20" y1="-60" x2="20" y2="-60" />
  </g>
  <text x="0" y="-70" text-anchor="middle">p</text>
  <text x="0" y="-30" text-anchor="middle">False</text>
  <text x="0" y="90" text-anchor="middle">True</text>
 </g>
</g>
</svg>