Mercurial > hg > Members > kono > Proof > category

view doc/fig/Kli.svg @ 790:1e7319868d77

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Sets is CCC
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 19 Apr 2019 23:42:19 +0900
parents 4c686e19db60
children
line wrap: on
line source

<?xml version="1.0"?>

<!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" xmlns:xl="http://www.w3.org/1999/xlink" version="1.1" viewBox="37 120 373 171" width="373pt" height="171pt">
<defs>
<marker orient="auto" overflow="visible" markerUnits="strokeWidth" id="FilledArrow_Marker" viewBox="-1 -4 10 8" markerWidth="10" markerHeight="8" color="black">
<g> <path d="M 8 0 L 0 -3 L 0 3 Z" fill="currentColor" stroke="currentColor" stroke-width="1"/> </g>
</marker>
</defs>
<g stroke="none" stroke-opacity="1" stroke-dasharray="none" fill="none" fill-opacity="1">
<title> Canvas 1</title>
<g>
<title> Layer 1</title>
<text transform="translate(46 143)" fill="black">
T^2(d) 
</text>
<text transform="translate(52 268)" fill="black">
 T(d) 
</text>
<text transform="translate(182.5 143)" fill="black">
 T^2(T((d)) 
</text>
<text transform="translate(192 268)" fill="black">
 T^2(d) 
</text>
<text transform="translate(338.5 143)" fill="black">
 T^2(c) 
</text>
<text transform="translate(344.5 268)" fill="black">
 T(c) 
</text>
<line x1="65.000006" y1="157" x2="65.000006" y2="258.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<line x1="182.5" y1="150.00001" x2="93.9" y2="150.00001" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<line x1="192" y1="275.00001" x2="87.9" y2="275.00001" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<line x1="211" y1="157" x2="211" y2="258.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<line x1="338.5" y1="150.00208" x2="249.4" y2="150.01209" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<line x1="357" y1="157" x2="357" y2="258.1" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<line x1="344.5" y1="275.00002" x2="239.9" y2="275.00002" marker-end="url(#FilledArrow_Marker)" stroke="black" stroke-linecap="round" stroke-linejoin="round" stroke-width="1"/>
<text transform="translate(274.83959 134.10321)" fill="black">
 T^2(g)
</text>
<text transform="translate(276 256.30548)" fill="black">
 T(g)
</text>
<text transform="translate(125 255.28434)" fill="black">
 μ(d)
</text>
<text transform="translate(115 134.5493)" fill="black">
 Tμ(d)
</text>
<text transform="translate(76.064266 207)" fill="black">
 μ(d)
</text>
<text transform="translate(218.00792 206)" fill="black">
 μ(T(d))
</text>
<text transform="translate(373.93134 206.89765)" fill="black">
 μ(c)
</text>
</g>
</g>
</svg>