<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<svg
   xmlns:dc="http://purl.org/dc/elements/1.1/"
   xmlns:cc="http://creativecommons.org/ns#"
   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
   xmlns:svg="http://www.w3.org/2000/svg"
   xmlns="http://www.w3.org/2000/svg"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="10.5cm"
   height="4.5cm"
   viewBox="619 259 402 165"
   id="svg2"
   version="1.1"
   inkscape:version="0.91 r13725"
   sodipodi:docname="subtyping.svg">
  <metadata
     id="metadata80">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <defs
     id="defs78" />
  <sodipodi:namedview
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1"
     objecttolerance="10"
     gridtolerance="10"
     guidetolerance="10"
     inkscape:pageopacity="0"
     inkscape:pageshadow="2"
     inkscape:window-width="1057"
     inkscape:window-height="861"
     id="namedview76"
     showgrid="false"
     inkscape:zoom="2.4808677"
     inkscape:cx="186.02362"
     inkscape:cy="79.724409"
     inkscape:window-x="125"
     inkscape:window-y="158"
     inkscape:window-maximized="0"
     inkscape:current-layer="svg2" />
  <g
     id="g4">
    <rect
       style="fill: #ffffff"
       x="620"
       y="320"
       width="160"
       height="42"
       id="rect6" />
    <rect
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x="620"
       y="320"
       width="160"
       height="42"
       id="rect8" />
    <text
       font-size="16"
       style="font-style:normal;font-weight:normal;font-size:16px;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="700"
       y="345.85001"
       id="text10">
      <tspan
         x="700"
         y="345.85001"
         id="tspan12">@MyType</tspan>
    </text>
  </g>
  <g
     id="g14">
    <rect
       style="fill: #ffffff"
       x="860"
       y="320"
       width="160"
       height="42"
       id="rect16" />
    <rect
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x="860"
       y="320"
       width="160"
       height="42"
       id="rect18" />
    <text
       font-size="16"
       style="font-style:normal;font-weight:normal;font-size:16px;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="940"
       y="345.85001"
       id="text20">
      <tspan
         x="940"
         y="345.85001"
         id="tspan22">@NotMyType</tspan>
    </text>
  </g>
  <g
     id="g24">
    <rect
       style="fill: #ffffff"
       x="740"
       y="260"
       width="160"
       height="42"
       id="rect26" />
    <rect
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x="740"
       y="260"
       width="160"
       height="42"
       id="rect28" />
    <text
       font-size="16"
       style="font-style:normal;font-weight:normal;font-size:16px;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="820"
       y="285.85001"
       id="text30">
      <tspan
         x="820"
         y="285.85001"
         id="tspan32">@MyTypeUnknown</tspan>
    </text>
  </g>
  <g
     id="g34">
    <line
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x1="700"
       y1="320"
       x2="805.166"
       y2="304.225"
       id="line36" />
    <polygon
       style="fill: #000000"
       points="806.204,311.148 819.011,302.148 804.128,297.303 "
       id="polygon38" />
    <polygon
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       points="806.204,311.148 819.011,302.148 804.128,297.303 "
       id="polygon40" />
  </g>
  <g
     id="g42">
    <line
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x1="940"
       y1="320"
       x2="834.834"
       y2="304.225"
       id="line44" />
    <polygon
       style="fill: #000000"
       points="835.872,297.303 820.989,302.148 833.796,311.148 "
       id="polygon46" />
    <polygon
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       points="835.872,297.303 820.989,302.148 833.796,311.148 "
       id="polygon48" />
  </g>
  <g
     id="g50">
    <line
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x1="820"
       y1="380"
       x2="714.834"
       y2="364.225"
       id="line52" />
    <polygon
       style="fill: #000000"
       points="715.872,357.303 700.989,362.148 713.796,371.148 "
       id="polygon54" />
    <polygon
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       points="715.872,357.303 700.989,362.148 713.796,371.148 "
       id="polygon56" />
  </g>
  <g
     id="g58">
    <line
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x1="820"
       y1="380"
       x2="925.166"
       y2="364.225"
       id="line60" />
    <polygon
       style="fill: #000000"
       points="926.204,371.148 939.011,362.148 924.128,357.303 "
       id="polygon62" />
    <polygon
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       points="926.204,371.148 939.011,362.148 924.128,357.303 "
       id="polygon64" />
  </g>
  <g
     id="g66">
    <rect
       style="fill: #ffffff"
       x="740"
       y="380"
       width="160"
       height="42"
       id="rect68" />
    <rect
       style="fill: none; fill-opacity:0; stroke-width: 2; stroke: #000000"
       x="740"
       y="380"
       width="160"
       height="42"
       id="rect70" />
    <text
       font-size="16"
       style="font-style:normal;font-weight:normal;font-size:16px;font-family:'courier new';text-anchor:middle;fill:#000000"
       x="820"
       y="405.85001"
       id="text72">
      <tspan
         x="820"
         y="405.85001"
         id="tspan74">@MyTypeBottom</tspan>
    </text>
  </g>
</svg>