substitution.svg

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- Created with Inkscape (http://www.inkscape.org/) -->

<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:xlink="http://www.w3.org/1999/xlink"
   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
   width="614.65216"
   height="252.07967"
   id="svg2"
   version="1.1"
   inkscape:version="0.48.4 r9943 custom"
   sodipodi:docname="substitution.svg">
  <defs
     id="defs4">
    <marker
       inkscape:stockid="EmptyDiamondM"
       orient="auto"
       refY="0"
       refX="0"
       id="EmptyDiamondM"
       style="overflow:visible">
      <path
         id="path5446"
         d="M 0,-7.0710768 -7.0710894,0 0,7.0710589 7.0710462,0 0,-7.0710768 z"
         style="fill:#ffffff;fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="scale(0.4,0.4)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="DotL"
       orient="auto"
       refY="0"
       refX="0"
       id="DotL"
       style="overflow:visible">
      <path
         id="path3850"
         d="m -2.5,-1 c 0,2.76 -2.24,5 -5,5 -2.76,0 -5,-2.24 -5,-5 0,-2.76 2.24,-5 5,-5 2.76,0 5,2.24 5,5 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="matrix(0.8,0,0,0.8,5.92,0.8)"
         inkscape:connector-curvature="0" />
    </marker>
    <marker
       inkscape:stockid="DiamondS"
       orient="auto"
       refY="0"
       refX="0"
       id="DiamondS"
       style="overflow:visible">
      <path
         inkscape:connector-curvature="0"
         id="path3916"
         d="M 0,-7.0710768 -7.0710894,0 0,7.0710589 7.0710462,0 0,-7.0710768 z"
         style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt"
         transform="scale(0.2,0.2)" />
    </marker>
  </defs>
  <sodipodi:namedview
     id="base"
     pagecolor="#ffffff"
     bordercolor="#666666"
     borderopacity="1.0"
     inkscape:pageopacity="0.0"
     inkscape:pageshadow="2"
     inkscape:zoom="1"
     inkscape:cx="124.79114"
     inkscape:cy="194.92871"
     inkscape:document-units="px"
     inkscape:current-layer="layer1"
     showgrid="false"
     inkscape:window-width="1782"
     inkscape:window-height="1152"
     inkscape:window-x="605"
     inkscape:window-y="52"
     inkscape:window-maximized="0"
     fit-margin-top="10"
     fit-margin-left="10"
     fit-margin-right="10"
     fit-margin-bottom="10" />
  <metadata
     id="metadata7">
    <rdf:RDF>
      <cc:Work
         rdf:about="">
        <dc:format>image/svg+xml</dc:format>
        <dc:type
           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
        <dc:title />
      </cc:Work>
    </rdf:RDF>
  </metadata>
  <g
     inkscape:label="Layer 1"
     inkscape:groupmode="layer"
     id="layer1"
     transform="translate(-598.31765,-213.73745)">
    <g
       id="g3865"
       transform="matrix(1.652527,-0.3354419,0.3354419,1.652527,-494.03129,19.024001)">
      <path
         inkscape:connector-curvature="0"
         id="path3003"
         d="M 640.06726,302.56057 C 632.19669,293.5617 617.77782,281.0077 611.09925,277.00056"
         style="fill:none;stroke:#f605d7;stroke-width:0.50606233;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path3005"
         d="m 640.57846,302.04937 c -0.76326,-5.24686 -3.27391,-24.27918 -3.7488,-27.94561"
         style="fill:none;stroke:#f605d7;stroke-width:0.50606233;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         inkscape:connector-curvature="0"
         id="path3013"
         d="m 655.06247,332.55098 c 16.34451,-6.36951 40.21441,-3.73383 40.21441,-22.83361"
         style="fill:none;stroke:#f605d7;stroke-width:0.50606233;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         inkscape:connector-curvature="0"
         id="path4958"
         d="m 641.77126,302.21977 c 1.0352,-3.00963 1.90979,-6.17209 3.83315,-8.76275 1.66149,-2.02462 4.08996,-3.15813 6.08627,-4.79644 1.16124,-0.88691 2.28323,-1.82465 3.37179,-2.79921"
         style="fill:none;stroke:#f605d7;stroke-width:0.50606233;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path2999"
         d="M 654.55127,332.03978 C 651.65213,320.545 644.71732,314.86903 641.08966,303.58297"
         style="fill:none;stroke:#f605d7;stroke-width:0.50606233;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#DotL)" />
      <path
         sodipodi:nodetypes="cc"
         inkscape:connector-curvature="0"
         id="path2995"
         d="m 645.34967,359.98539 c 0.6095,-5.64441 4.82098,-19.05109 9.372,-26.75281"
         style="fill:none;stroke:#f605d7;stroke-width:0.50606233;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#DotL)" />
    </g>
    <g
       id="g3873"
       transform="matrix(1.6862285,0,0,1.6862285,-457.38845,-266.80768)">
      <path
         inkscape:connector-curvature="0"
         id="path3024-0"
         d="m 822.70192,354.33015 c 16.73806,-13.63614 9.81383,-37.39226 18.4531,-52.88983"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         inkscape:connector-curvature="0"
         id="path5735"
         d="m 794.59511,309.41359 c -4.50408,-5.22494 -6.83963,-11.81792 -9.10958,-18.21917"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         inkscape:connector-curvature="0"
         id="path6283"
         d="m 796.8725,329.15101 c -13.12947,-0.34425 -26.27682,-1.61702 -39.09529,-4.55479"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         inkscape:connector-curvature="0"
         id="path6839"
         d="m 809.21075,311.28339 c 3.87983,-4.18148 9.78388,-4.32416 15.00559,-5.23331"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
      <path
         inkscape:connector-curvature="0"
         id="path5733"
         d="m 797.63163,327.25318 c -3.76465,-4.81019 -3.03934,-11.03325 -2.65696,-16.7009"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         inkscape:connector-curvature="0"
         id="path5729-4"
         d="m 820.78516,355.34106 c -8.73551,-2.87336 -17.03819,-8.75462 -20.07571,-17.79236 -1.16037,-2.96828 -1.97979,-6.056 -2.69825,-9.15682"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         inkscape:connector-curvature="0"
         id="path6837"
         d="m 798.75842,326.7093 c 2.82539,-4.9434 5.80009,-9.79917 8.69913,-14.69925"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         inkscape:connector-curvature="0"
         id="path6285-1"
         d="M 821.9773,353.94215 C 821.41917,341.30469 820.65261,328.6656 820.78463,316.01"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         inkscape:connector-curvature="0"
         id="path6289"
         d="m 843.17954,342.43582 c 4.51245,-3.10116 5.22317,-8.77965 6.45262,-13.66437"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         inkscape:connector-curvature="0"
         id="path6287-4"
         d="m 824.58082,354.58193 c 5.96613,-3.23169 11.39701,-7.32592 17.08046,-11.00741"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
      <path
         inkscape:connector-curvature="0"
         id="path5545-7"
         d="m 818.1282,404.30507 c 1.75503,-16.15596 4.84342,-32.26335 4.17522,-48.58444"
         style="fill:none;stroke:#7109a3;stroke-width:0.56362665;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
    </g>
    <path
       sodipodi:type="arc"
       style="opacity:0.98000004;color:#000000;fill:none;stroke:#fb0909;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       id="path3855"
       sodipodi:cx="198.69701"
       sodipodi:cy="120.56334"
       sodipodi:rx="12.727922"
       sodipodi:ry="7.0710678"
       d="m 211.42493,120.56334 c 0,3.90524 -5.69849,7.07107 -12.72792,7.07107 -7.02944,0 -12.72793,-3.16583 -12.72793,-7.07107 0,-3.90524 5.69849,-7.07107 12.72793,-7.07107 7.02943,0 12.72792,3.16583 12.72792,7.07107 z"
       transform="matrix(1.6862285,0,0,1.6862285,551.98142,81.548193)" />
    <text
       xml:space="preserve"
       style="font-size:35.62833786px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;letter-spacing:0px;word-spacing:0px;writing-mode:lr-tb;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;font-family:Courier;-inkscape-font-specification:Courier"
       x="610.10266"
       y="452.39679"
       id="text3886"
       sodipodi:linespacing="125%"><tspan
         sodipodi:role="line"
         id="tspan3888"
         x="610.10266"
         y="452.39679">(≫=)∷ T A →<tspan
   style="font-size:35.62833786px;font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;text-align:start;line-height:125%;writing-mode:lr-tb;text-anchor:start;stroke:#fb0909;stroke-width:2.0881803;stroke-opacity:1;font-family:Courier;-inkscape-font-specification:Courier"
   id="tspan3890">(A → T B)</tspan>→ T B</tspan></text>
    <use
       x="0"
       y="0"
       xlink:href="#g3873"
       id="use3894"
       transform="translate(223.42528,8.4311427)"
       width="572.93829"
       height="214.25499" />
    <path
       transform="matrix(1.6862285,0,0,1.6862285,775.40671,89.979332)"
       d="m 211.42493,120.56334 c 0,3.90524 -5.69849,7.07107 -12.72792,7.07107 -7.02944,0 -12.72793,-3.16583 -12.72793,-7.07107 0,-3.90524 5.69849,-7.07107 12.72793,-7.07107 7.02943,0 12.72792,3.16583 12.72792,7.07107 z"
       sodipodi:ry="7.0710678"
       sodipodi:rx="12.727922"
       sodipodi:cy="120.56334"
       sodipodi:cx="198.69701"
       id="use3896"
       style="opacity:0.98000004;color:#000000;fill:#ffffff;fill-opacity:1;stroke:#fb0909;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;stroke-dashoffset:0;marker:none;visibility:visible;display:inline;overflow:visible;enable-background:accumulate"
       sodipodi:type="arc" />
    <path
       inkscape:connector-curvature="0"
       id="path3902"
       d="m 1105.2599,295.08486 c -2.4927,-0.60611 -5.7536,-0.79698 -8.835,-0.78801 -3.116,0.009 -2.4567,2.10095 -6.3417,1.32637"
       style="fill:none;stroke:#f605d7;stroke-width:0.50586855;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       sodipodi:nodetypes="csc" />
    <path
       sodipodi:nodetypes="csc"
       inkscape:connector-curvature="0"
       id="path3904"
       d="m 1105.3012,294.84635 c -0.6546,-0.69145 -2.419,-2.2033 -3.644,-3.92179 -2.6079,-3.65835 5.469,-5.53324 4.4487,-8.53813"
       style="fill:none;stroke:#f605d7;stroke-width:0.50586855;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none" />
    <path
       inkscape:connector-curvature="0"
       id="path3906"
       d="m 1113.2503,299.13846 c 1.6229,-2.4475 3.5758,-4.43071 4.6626,-6.4556 0.7233,-1.34752 1.063,-2.71348 0.6667,-4.247 -0.1992,-0.77088 -1.8491,-3.58651 0.065,-5.72569"
       style="fill:none;stroke:#f605d7;stroke-width:0.50586855;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none"
       sodipodi:nodetypes="cssc" />
    <path
       inkscape:connector-curvature="0"
       id="path3908"
       d="m 1105.6606,294.66301 c -0.2969,-1.02346 -0.6673,-2.05776 -0.6403,-3.13778 0.065,-0.87458 0.5106,-1.65311 0.7413,-2.48649 0.1468,-0.46669 0.2731,-0.93973 0.3832,-1.41639"
       style="fill:none;stroke:#f605d7;stroke-width:0.50586855;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-end:url(#DotL)" />
    <path
       sodipodi:nodetypes="cc"
       inkscape:connector-curvature="0"
       id="path3910"
       d="m 1112.8009,299.30788 c -3.0099,-2.58758 -3.8949,-1.7503 -7.064,-4.14027"
       style="fill:none;stroke:#f605d7;stroke-width:0.50586855;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#DotL)" />
    <path
       sodipodi:nodetypes="cc"
       inkscape:connector-curvature="0"
       id="path3912"
       d="m 1114.2476,305.30674 c -0.9214,-1.66262 -0.9308,-2.82482 -1.1701,-5.81059"
       style="fill:none;stroke:#f605d7;stroke-width:0.50586855;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-opacity:1;stroke-dasharray:none;marker-start:none;marker-end:url(#DotL)" />
  </g>
</svg>