691 lines
16 KiB
XML
691 lines
16 KiB
XML
<?xml version="1.0"?>
|
|
<!DOCTYPE ipe SYSTEM "ipe.dtd">
|
|
<ipe version="70218" creator="Ipe 7.2.30">
|
|
<info created="D:20260417131308" modified="D:20260417131308" tex="luatex"/>
|
|
<ipestyle name="basic">
|
|
<symbol name="arrow/arc(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/farc(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ptarc(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-0.8 0 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/fptarc(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-0.8 0 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="mark/circle(sx)" transformations="translations">
|
|
<path fill="sym-stroke">
|
|
0.6 0 0 0.6 0 0 e
|
|
0.4 0 0 0.4 0 0 e
|
|
</path>
|
|
</symbol>
|
|
<symbol name="mark/disk(sx)" transformations="translations">
|
|
<path fill="sym-stroke">
|
|
0.6 0 0 0.6 0 0 e
|
|
</path>
|
|
</symbol>
|
|
<symbol name="mark/fdisk(sfx)" transformations="translations">
|
|
<group>
|
|
<path fill="sym-fill">
|
|
0.5 0 0 0.5 0 0 e
|
|
</path>
|
|
<path fill="sym-stroke" fillrule="eofill">
|
|
0.6 0 0 0.6 0 0 e
|
|
0.4 0 0 0.4 0 0 e
|
|
</path>
|
|
</group>
|
|
</symbol>
|
|
<symbol name="mark/box(sx)" transformations="translations">
|
|
<path fill="sym-stroke" fillrule="eofill">
|
|
-0.6 -0.6 m
|
|
0.6 -0.6 l
|
|
0.6 0.6 l
|
|
-0.6 0.6 l
|
|
h
|
|
-0.4 -0.4 m
|
|
0.4 -0.4 l
|
|
0.4 0.4 l
|
|
-0.4 0.4 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="mark/square(sx)" transformations="translations">
|
|
<path fill="sym-stroke">
|
|
-0.6 -0.6 m
|
|
0.6 -0.6 l
|
|
0.6 0.6 l
|
|
-0.6 0.6 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="mark/fsquare(sfx)" transformations="translations">
|
|
<group>
|
|
<path fill="sym-fill">
|
|
-0.5 -0.5 m
|
|
0.5 -0.5 l
|
|
0.5 0.5 l
|
|
-0.5 0.5 l
|
|
h
|
|
</path>
|
|
<path fill="sym-stroke" fillrule="eofill">
|
|
-0.6 -0.6 m
|
|
0.6 -0.6 l
|
|
0.6 0.6 l
|
|
-0.6 0.6 l
|
|
h
|
|
-0.4 -0.4 m
|
|
0.4 -0.4 l
|
|
0.4 0.4 l
|
|
-0.4 0.4 l
|
|
h
|
|
</path>
|
|
</group>
|
|
</symbol>
|
|
<symbol name="mark/cross(sx)" transformations="translations">
|
|
<group>
|
|
<path fill="sym-stroke">
|
|
-0.43 -0.57 m
|
|
0.57 0.43 l
|
|
0.43 0.57 l
|
|
-0.57 -0.43 l
|
|
h
|
|
</path>
|
|
<path fill="sym-stroke">
|
|
-0.43 0.57 m
|
|
0.57 -0.43 l
|
|
0.43 -0.57 l
|
|
-0.57 0.43 l
|
|
h
|
|
</path>
|
|
</group>
|
|
</symbol>
|
|
<symbol name="arrow/fnormal(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/pointed(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-0.8 0 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/fpointed(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-0.8 0 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/linear(spx)">
|
|
<path stroke="sym-stroke" pen="sym-pen">
|
|
-1 0.333 m
|
|
0 0 l
|
|
-1 -0.333 l
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/fdouble(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
-1 0 m
|
|
-2 0.333 l
|
|
-2 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/double(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
-1 0 m
|
|
-2 0.333 l
|
|
-2 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/mid-normal(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
0.5 0 m
|
|
-0.5 0.333 l
|
|
-0.5 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/mid-fnormal(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0.5 0 m
|
|
-0.5 0.333 l
|
|
-0.5 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/mid-pointed(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
0.5 0 m
|
|
-0.5 0.333 l
|
|
-0.3 0 l
|
|
-0.5 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/mid-fpointed(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
0.5 0 m
|
|
-0.5 0.333 l
|
|
-0.3 0 l
|
|
-0.5 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/mid-double(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
1 0 m
|
|
0 0.333 l
|
|
0 -0.333 l
|
|
h
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/mid-fdouble(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
1 0 m
|
|
0 0.333 l
|
|
0 -0.333 l
|
|
h
|
|
0 0 m
|
|
-1 0.333 l
|
|
-1 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<anglesize name="22.5 deg" value="22.5"/>
|
|
<anglesize name="30 deg" value="30"/>
|
|
<anglesize name="45 deg" value="45"/>
|
|
<anglesize name="60 deg" value="60"/>
|
|
<anglesize name="90 deg" value="90"/>
|
|
<arrowsize name="large" value="10"/>
|
|
<arrowsize name="small" value="5"/>
|
|
<arrowsize name="tiny" value="3"/>
|
|
<color name="blue" value="0 0 1"/>
|
|
<color name="brown" value="0.647 0.165 0.165"/>
|
|
<color name="darkblue" value="0 0 0.545"/>
|
|
<color name="darkcyan" value="0 0.545 0.545"/>
|
|
<color name="darkgray" value="0.663"/>
|
|
<color name="darkgreen" value="0 0.392 0"/>
|
|
<color name="darkmagenta" value="0.545 0 0.545"/>
|
|
<color name="darkorange" value="1 0.549 0"/>
|
|
<color name="darkred" value="0.545 0 0"/>
|
|
<color name="gold" value="1 0.843 0"/>
|
|
<color name="gray" value="0.745"/>
|
|
<color name="green" value="0 1 0"/>
|
|
<color name="lightblue" value="0.678 0.847 0.902"/>
|
|
<color name="lightcyan" value="0.878 1 1"/>
|
|
<color name="lightgray" value="0.827"/>
|
|
<color name="lightgreen" value="0.565 0.933 0.565"/>
|
|
<color name="lightyellow" value="1 1 0.878"/>
|
|
<color name="navy" value="0 0 0.502"/>
|
|
<color name="orange" value="1 0.647 0"/>
|
|
<color name="pink" value="1 0.753 0.796"/>
|
|
<color name="purple" value="0.627 0.125 0.941"/>
|
|
<color name="red" value="1 0 0"/>
|
|
<color name="seagreen" value="0.18 0.545 0.341"/>
|
|
<color name="turquoise" value="0.251 0.878 0.816"/>
|
|
<color name="violet" value="0.933 0.51 0.933"/>
|
|
<color name="yellow" value="1 1 0"/>
|
|
<dashstyle name="dash dot dotted" value="[4 2 1 2 1 2] 0"/>
|
|
<dashstyle name="dash dotted" value="[4 2 1 2] 0"/>
|
|
<dashstyle name="dashed" value="[4] 0"/>
|
|
<dashstyle name="dotted" value="[1 3] 0"/>
|
|
<gridsize name="10 pts (~3.5 mm)" value="10"/>
|
|
<gridsize name="14 pts (~5 mm)" value="14"/>
|
|
<gridsize name="16 pts (~6 mm)" value="16"/>
|
|
<gridsize name="20 pts (~7 mm)" value="20"/>
|
|
<gridsize name="28 pts (~10 mm)" value="28"/>
|
|
<gridsize name="32 pts (~12 mm)" value="32"/>
|
|
<gridsize name="4 pts" value="4"/>
|
|
<gridsize name="56 pts (~20 mm)" value="56"/>
|
|
<gridsize name="8 pts (~3 mm)" value="8"/>
|
|
<opacity name="10%" value="0.1"/>
|
|
<opacity name="30%" value="0.3"/>
|
|
<opacity name="50%" value="0.5"/>
|
|
<opacity name="75%" value="0.75"/>
|
|
<pen name="fat" value="1.2"/>
|
|
<pen name="heavier" value="0.8"/>
|
|
<pen name="ultrafat" value="2"/>
|
|
<symbolsize name="large" value="5"/>
|
|
<symbolsize name="small" value="2"/>
|
|
<symbolsize name="tiny" value="1.1"/>
|
|
<textsize name="Huge" value="\Huge"/>
|
|
<textsize name="LARGE" value="\LARGE"/>
|
|
<textsize name="Large" value="\Large"/>
|
|
<textsize name="footnote" value="\footnotesize"/>
|
|
<textsize name="huge" value="\huge"/>
|
|
<textsize name="large" value="\large"/>
|
|
<textsize name="script" value="\scriptsize"/>
|
|
<textsize name="small" value="\small"/>
|
|
<textsize name="tiny" value="\tiny"/>
|
|
<textstyle name="center" begin="\begin{center}" end="\end{center}"/>
|
|
<textstyle name="item" begin="\begin{itemize}\item{}" end="\end{itemize}"/>
|
|
<textstyle name="itemize" begin="\begin{itemize}" end="\end{itemize}"/>
|
|
<tiling name="falling" angle="-60" step="4" width="1"/>
|
|
<tiling name="rising" angle="30" step="4" width="1"/>
|
|
</ipestyle>
|
|
<ipestyle name="ngslides">
|
|
<symbol name="arrow/ng-fnormal(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
-0.7 0 m
|
|
-1.7 0.333 l
|
|
-1.7 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ng-normal(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
-0.7 0 m
|
|
-1.7 0.333 l
|
|
-1.7 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ng-pointed(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
-0.7 0 m
|
|
-1.7 0.333 l
|
|
-0.8 0 l
|
|
-1.7 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ng-fpointed(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
-0.7 0 m
|
|
-1.7 0.333 l
|
|
-0.8 0 l
|
|
-1.7 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ng-linear(spx)">
|
|
<path stroke="sym-stroke" pen="sym-pen">
|
|
-1.7 0.333 m
|
|
-0.7 0 l
|
|
-1.7 -0.333 l
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ng-fdouble(spx)">
|
|
<path stroke="sym-stroke" fill="white" pen="sym-pen">
|
|
-0.7 0 m
|
|
-1.7 0.333 l
|
|
-1.7 -0.333 l
|
|
h
|
|
-1.7 0 m
|
|
-2.7 0.333 l
|
|
-2.7 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="arrow/ng-double(spx)">
|
|
<path stroke="sym-stroke" fill="sym-stroke" pen="sym-pen">
|
|
-0.7 0 m
|
|
-1.7 0.333 l
|
|
-1.7 -0.333 l
|
|
h
|
|
-1.7 0 m
|
|
-2.7 0.333 l
|
|
-2.7 -0.333 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/remark">
|
|
<path stroke="dark gray" fill="light yellow">
|
|
100 204 m
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/theorem">
|
|
<path stroke="dark blue" fill="light blue">
|
|
100 204 m
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/problem">
|
|
<path stroke="dark green" fill="light green">
|
|
100 204 m
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/definition">
|
|
<path stroke="dark gray" fill="light yellow">
|
|
96 96 m
|
|
304 96 l
|
|
304 204 l
|
|
96 204 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/algorithm">
|
|
<path stroke="dark gray" fill="light green" dash="dashed">
|
|
96 96 m
|
|
304 96 l
|
|
304 204 l
|
|
96 204 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/graph">
|
|
<path stroke="dark gray">
|
|
92 92 m
|
|
308 92 l
|
|
308 208 l
|
|
92 208 l
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/comic-bl">
|
|
<path stroke="dark gray" fill="light yellow">
|
|
100 96 m
|
|
110 96 s
|
|
110 92
|
|
106 88 s
|
|
116 92
|
|
118 96 s
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
100 204 l
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/comic-bm">
|
|
<path stroke="dark gray" fill="light yellow">
|
|
100 96 m
|
|
186 96 s
|
|
186 92
|
|
182 88 s
|
|
192 92
|
|
194 96 s
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
100 204 l
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/comic-br">
|
|
<path matrix="-1 0 0 1 400 0" stroke="dark gray" fill="light yellow">
|
|
100 96 m
|
|
110 96 s
|
|
110 92
|
|
106 88 s
|
|
116 92
|
|
118 96 s
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
100 204 l
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/comic-tl">
|
|
<path matrix="1 0 0 -1 0 300" stroke="dark gray" fill="light yellow">
|
|
100 96 m
|
|
110 96 s
|
|
110 92
|
|
106 88 s
|
|
116 92
|
|
118 96 s
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
100 204 l
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/comic-tm">
|
|
<path matrix="1 0 0 -1 0 300" stroke="dark gray" fill="light yellow">
|
|
100 96 m
|
|
186 96 s
|
|
186 92
|
|
182 88 s
|
|
192 92
|
|
194 96 s
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
100 204 l
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<symbol name="decoration/comic-tr">
|
|
<path matrix="-1 0 0 -1 400 300" stroke="dark gray" fill="light yellow">
|
|
100 96 m
|
|
110 96 s
|
|
110 92
|
|
106 88 s
|
|
116 92
|
|
118 96 s
|
|
300 96 l
|
|
4 0 0 4 300 100 304 100 a
|
|
304 200 l
|
|
4 0 0 4 300 200 300 204 a
|
|
100 204 l
|
|
4 0 0 4 100 200 96 200 a
|
|
96 100 l
|
|
4 0 0 4 100 100 100 96 a
|
|
h
|
|
</path>
|
|
</symbol>
|
|
<color name="dark blue" value="0.121 0.47 0.705"/>
|
|
<color name="dark brown" value="0.651 0.337 0.157"/>
|
|
<color name="dark cyan" value="0.106 0.62 0.467"/>
|
|
<color name="dark gray" value="0.5"/>
|
|
<color name="dark green" value="0.2 0.627 0.172"/>
|
|
<color name="dark orange" value="1 0.498 0"/>
|
|
<color name="dark pink" value="0.969 0.506 0.749"/>
|
|
<color name="dark purple" value="0.415 0.239 0.603"/>
|
|
<color name="dark red" value="0.89 0.102 0.109"/>
|
|
<color name="dark yellow" value="1 1 0.2"/>
|
|
<color name="light blue" value="0.651 0.807 0.89"/>
|
|
<color name="light brown" value="0.898 0.847 0.741"/>
|
|
<color name="light cyan" value="0.553 0.827 0.78"/>
|
|
<color name="light gray" value="0.8"/>
|
|
<color name="light green" value="0.698 0.874 0.541"/>
|
|
<color name="light orange" value="0.992 0.749 0.435"/>
|
|
<color name="light pink" value="0.992 0.855 0.925"/>
|
|
<color name="light purple" value="0.792 0.698 0.839"/>
|
|
<color name="light red" value="0.984 0.603 0.6"/>
|
|
<color name="light yellow" value="1 1 0.8"/>
|
|
<color name="pagenumber" value="0.5"/>
|
|
<color name="title" value="0.247 0.282 0.392"/>
|
|
<pen name="fat" value="3.6"/>
|
|
<pen name="heavier" value="2.4"/>
|
|
<pen name="normal" value="1.2"/>
|
|
<pen name="ultrafat" value="6"/>
|
|
<symbolsize name="large" value="15"/>
|
|
<symbolsize name="normal" value="9"/>
|
|
<symbolsize name="small" value="6"/>
|
|
<symbolsize name="tiny" value="3.3"/>
|
|
<textstretch name="Huge" value="2.4"/>
|
|
<textstretch name="LARGE" value="2.4"/>
|
|
<textstretch name="Large" value="2.4"/>
|
|
<textstretch name="footnote" value="2.4"/>
|
|
<textstretch name="huge" value="2.4"/>
|
|
<textstretch name="large" value="2.4"/>
|
|
<textstretch name="normal" value="2.4"/>
|
|
<textstretch name="script" value="2.4"/>
|
|
<textstretch name="small" value="2.4"/>
|
|
<textstretch name="tiny" value="2.4"/>
|
|
<textstyle name="algorithmic" begin="\begin{algorithmic}" end="\end{algorithmic}"/>
|
|
<textstyle name="definition" begin="\begin{definition}" end="\end{definition}"/>
|
|
<textstyle name="enumerate" begin="\begin{enumerate}" end="\end{enumerate}"/>
|
|
<textstyle name="example" begin="\begin{example}" end="\end{example}"/>
|
|
<textstyle name="lemma" begin="\begin{lemma}" end="\end{lemma}"/>
|
|
<textstyle name="proof" begin="\begin{proof}" end="\end{proof}"/>
|
|
<textstyle name="theorem" begin="\begin{theorem}" end="\end{theorem}"/>
|
|
<preamble>
|
|
\usepackage[ngerman]{babel}
|
|
\usepackage[sansdefault]{fontsetup}
|
|
\usepackage{ngutils}
|
|
|
|
\renewcommand{\theoremfont}{\normalfont\bfseries\color{dark blue}}
|
|
\renewcommand{\definitionfont}{\normalfont\bfseries\color{dark gray}}
|
|
|
|
\newcommand{\labelfont}{\normalfont\bfseries\color{dark blue}}
|
|
|
|
%\setlength{\leftmargini}{1.33em}
|
|
%\setlength{\leftmarginii}{1.33em}
|
|
%\setlength{\leftmarginiii}{1.33em}
|
|
%\setlength{\leftmarginvi}{1.33em}
|
|
|
|
\renewcommand{\labelenumi}{\labelfont\arabic{enumi}.}
|
|
\renewcommand{\labelenumii}{\labelfont\alph{enumii})}
|
|
\renewcommand{\labelenumiii}{\labelfont\roman{enumiii}.}
|
|
\renewcommand{\labelenumiv}{\labelfont\Alph{enumiv}.}
|
|
|
|
\renewcommand{\labelitemi}{\labelfont $\blockfull$}
|
|
\renewcommand{\labelitemii}{\labelfont $\blackpointerright$}
|
|
\renewcommand{\labelitemiii}{\labelfont $\bullet$}
|
|
\renewcommand{\labelitemiv}{\labelfont $\bullet$}
|
|
|
|
\setlength{\fboxsep}{1pt}
|
|
|
|
\newcommand{\bk}{\color{black}}
|
|
\newcommand{\wt}{\color{white}}
|
|
\newcommand{\bu}{\color{dark blue}}
|
|
\newcommand{\bn}{\color{dark brown}}
|
|
\newcommand{\cn}{\color{dark cyan}}
|
|
\newcommand{\gy}{\color{dark gray}}
|
|
\newcommand{\gn}{\color{dark green}}
|
|
\newcommand{\og}{\color{dark orange}}
|
|
\newcommand{\pk}{\color{dark pink}}
|
|
\newcommand{\pl}{\color{dark purple}}
|
|
\newcommand{\rd}{\color{dark red}}
|
|
\newcommand{\yo}{\color{dark yellow}}
|
|
\newcommand{\tl}{\color{title}}
|
|
</preamble>
|
|
<layout paper="1024 576" origin="16 16" frame="992 496" skip="16" crop="no"/>
|
|
<pagenumberstyle pos="1000 552" color="pagenumber" size="tiny" halign="right" valign="top"></pagenumberstyle>
|
|
<titlestyle pos="0 544" size="Large" color="title" valign="top"/>
|
|
</ipestyle>
|
|
<page>
|
|
<layer name="alpha"/>
|
|
<view layers="alpha" active="alpha"/>
|
|
<path layer="alpha" stroke="light blue" pen="ultrafat">
|
|
192 384 m
|
|
256 272 l
|
|
</path>
|
|
<path stroke="black">
|
|
192 384 m
|
|
256 272 l
|
|
</path>
|
|
<path stroke="light blue" pen="ultrafat">
|
|
256 272 m
|
|
320 384 l
|
|
</path>
|
|
<path stroke="dark gray" arrow="ng-normal/normal">
|
|
320 384 m
|
|
256 408
|
|
192 384 c
|
|
</path>
|
|
<path stroke="dark gray" arrow="ng-normal/normal">
|
|
256 272 m
|
|
192 320
|
|
192 384 c
|
|
</path>
|
|
<use name="mark/disk(sx)" pos="192 384" size="normal" stroke="black"/>
|
|
<use name="mark/disk(sx)" pos="320 384" size="normal" stroke="black"/>
|
|
<use name="mark/disk(sx)" pos="256 272" size="normal" stroke="black"/>
|
|
<path stroke="black">
|
|
320 384 m
|
|
256 272 l
|
|
</path>
|
|
<path stroke="black">
|
|
192 384 m
|
|
320 384 l
|
|
</path>
|
|
<text matrix="1 0 0 1 0 8" transformations="translations" pos="192 384" stroke="black" type="label" width="9.1584" height="11.0448" depth="0.24" halign="center" valign="baseline">$s$</text>
|
|
<text matrix="1 0 0 1 64 16" transformations="translations" pos="192 384" stroke="dark gray" type="label" width="14.6568" height="10.6632" depth="0.24" halign="center" valign="baseline" style="math">\pi</text>
|
|
<text matrix="1 0 0 1 8 -72" transformations="translations" pos="192 384" stroke="dark gray" type="label" width="14.6568" height="10.6632" depth="0.24" halign="center" valign="baseline" style="math">\pi</text>
|
|
</page>
|
|
</ipe>
|