-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest_causets.html
58 lines (56 loc) · 26.3 KB
/
test_causets.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<!DOCTYPE html><html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>Test cases, package causets</title>
<!--Generated on Wed Jan 1 12:03:44 2025 by LaTeXML (version 0.8.6) http://dlmf.nist.gov/LaTeXML/.-->
<link rel="stylesheet" href="LaTeXML.css" type="text/css">
<link rel="stylesheet" href="ltx-article.css" type="text/css">
<meta name="viewport" content="width=device-width, initial-scale=1, shrink-to-fit=no">
</head>
<body>
<div class="ltx_page_main">
<div class="ltx_page_content">
<article class="ltx_document">
<section id="Sx1" class="ltx_section">
<h2 class="ltx_title ltx_title_section">Test cases, package causets</h2>
<div id="Sx1.p1" class="ltx_para">
<p class="ltx_p">Test cases for typesetting Hasse diagrams with the <code class="ltx_verbatim ltx_font_typewriter">causets</code> package.</p>
</div>
<div id="Sx1.p2" class="ltx_para">
<ol id="Sx1.I1" class="ltx_enumerate">
<li id="Sx1.I1.i1" class="ltx_item" style="list-style-type:none;">
<span class="ltx_tag ltx_tag_item">1.</span>
<div id="Sx1.I1.i1.p1" class="ltx_para">
<p class="ltx_p"><code class="ltx_verbatim ltx_font_typewriter">\pcauset</code> test <svg id="Sx1.I1.i1.p1.pic1" class="ltx_picture" height="20.81" overflow="visible" version="1.1" width="3"><g transform="translate(1.5,11.73) matrix(1 0 0 -1 0 -2.65)"><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M 1.5 -7.57 C 1.5 -6.74 0.83 -6.07 0 -6.07 C -0.83 -6.07 -1.5 -6.74 -1.5 -7.57 C -1.5 -8.4 -0.83 -9.07 0 -9.07 C 0.83 -9.07 1.5 -8.4 1.5 -7.57 Z M 0 -7.57" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M 1.5 0 C 1.5 0.83 0.83 1.5 0 1.5 C -0.83 1.5 -1.5 0.83 -1.5 0 C -1.5 -0.83 -0.83 -1.5 0 -1.5 C 0.83 -1.5 1.5 -0.83 1.5 0 Z M 0 0" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M 1.5 7.57 C 1.5 8.4 0.83 9.07 0 9.07 C -0.83 9.07 -1.5 8.4 -1.5 7.57 C -1.5 6.74 -0.83 6.07 0 6.07 C 0.83 6.07 1.5 6.74 1.5 7.57 Z M 0 7.57" style="stroke:none"></path></g><g stroke="#595959" fill="#595959" stroke-width="0.5418pt" color="#595959"><path d="M 0 -11.36 L 0 -11.36" style="fill:none"></path></g><g stroke="#595959" fill="#595959" stroke-width="0.5418pt" color="#595959"><path d="M 0 -11.36 L 0 -11.36" style="fill:none"></path></g></g></svg> in the standard style (with attribute <code class="ltx_verbatim ltx_font_typewriter">alt={3-chain}</code>).</p>
</div>
</li>
<li id="Sx1.I1.i2" class="ltx_item" style="list-style-type:none;">
<span class="ltx_tag ltx_tag_item">2.</span>
<div id="Sx1.I1.i2.p1" class="ltx_para">
<p class="ltx_p"><code class="ltx_verbatim ltx_font_typewriter">\pcauset</code> test <svg id="Sx1.I1.i2.p1.pic1" class="ltx_picture" height="38.89" overflow="visible" version="1.1" width="47.11"><g transform="translate(23.55,23.55) matrix(1 0 0 -1 0 -8.21)"><g stroke="#FFFFFF" fill="#FFFFFF" stroke-width="0.1548pt" color="#FFFFFF"><path d="M 3.79 -11.36 M 3.79 -11.36 L 0 -7.57 L 3.79 -3.79 L 7.57 -7.57 Z M 3.79 -3.79" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M 5.29 -7.57 C 5.29 -6.74 4.61 -6.07 3.79 -6.07 C 2.96 -6.07 2.29 -6.74 2.29 -7.57 C 2.29 -8.4 2.96 -9.07 3.79 -9.07 C 4.61 -9.07 5.29 -8.4 5.29 -7.57 Z M 3.79 -7.57" style="stroke:none"></path></g><g stroke="#FFFFFF" fill="#FFFFFF" stroke-width="0.1548pt" color="#FFFFFF"><path d="M 7.57 0 M 7.57 0 L 3.79 3.79 L 7.57 7.57 L 11.36 3.79 Z M 7.57 7.57" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M 9.07 3.79 C 9.07 4.61 8.4 5.29 7.57 5.29 C 6.74 5.29 6.07 4.61 6.07 3.79 C 6.07 2.96 6.74 2.29 7.57 2.29 C 8.4 2.29 9.07 2.96 9.07 3.79 Z M 7.57 3.79" style="stroke:none"></path></g><g stroke="#FFFFFF" fill="#FFFFFF" stroke-width="0.1548pt" color="#FFFFFF"><path d="M -7.57 -7.57 M -7.57 -7.57 L -11.36 -3.79 L -7.57 0 L -3.79 -3.79 Z M -7.57 0" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M -6.07 -3.79 C -6.07 -2.96 -6.74 -2.29 -7.57 -2.29 C -8.4 -2.29 -9.07 -2.96 -9.07 -3.79 C -9.07 -4.61 -8.4 -5.29 -7.57 -5.29 C -6.74 -5.29 -6.07 -4.61 -6.07 -3.79 Z M -7.57 -3.79" style="stroke:none"></path></g><g stroke="#FFFFFF" fill="#FFFFFF" stroke-width="0.1548pt" color="#FFFFFF"><path d="M -3.79 3.79 M -3.79 3.79 L -7.57 7.57 L -3.79 11.36 L 0 7.57 Z M -3.79 11.36" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M -2.29 7.57 C -2.29 8.4 -2.96 9.07 -3.79 9.07 C -4.61 9.07 -5.29 8.4 -5.29 7.57 C -5.29 6.74 -4.61 6.07 -3.79 6.07 C -2.96 6.07 -2.29 6.74 -2.29 7.57 Z M -3.79 7.57" style="stroke:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.1548pt" color="#000000"><path d="M 0 -15.15 M 0 -15.15 L 15.15 0 M -3.79 -11.36 L 11.36 3.79 M -7.57 -7.57 L 7.57 7.57 M -11.36 -3.79 L 3.79 11.36 M -15.14 -0.01 L 0.01 15.14 M 0 -15.15 L -15.15 0 M 3.79 -11.36 L -11.36 3.79 M 7.57 -7.57 L -7.57 7.57 M 11.36 -3.79 L -3.79 11.36 M 15.14 -0.01 L -0.01 15.14 M 0 15.15" style="fill:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.2709pt" color="#000000"><path d="M 0 -15.15 M 0 -15.15 L -15.15 0 L 0 15.15 L 15.15 0 Z M 0 15.15" style="fill:none"></path></g><g stroke-width="0.5418pt" fill="#000000" stroke="#000000" stroke-dasharray="0.5418pt,1.0pt" stroke-dashoffset="0.0pt" color="#000000"><path d="M 0 -15.15 L 0 -15.15" style="fill:none"></path></g><g stroke-width="0.5418pt" fill="#000000" stroke="#000000" stroke-dasharray="0.5418pt,1.0pt" stroke-dashoffset="0.0pt" color="#000000"><path d="M 0 -15.15 L 0 -15.15" style="fill:none"></path></g><g stroke-width="0.5418pt" fill="#000000" stroke="#000000" stroke-dasharray="0.5418pt,1.0pt" stroke-dashoffset="0.0pt" color="#000000"><path d="M 0 -15.15 L 0 -15.15" style="fill:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.5418pt" color="#000000"><path d="M 0 -15.15 L 0 -15.15" style="fill:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.5418pt" color="#000000"><path d="M 0 -15.15 L 0 -15.15" style="fill:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.5418pt" color="#000000"><path d="M 0 -15.15 L 0 -15.15" style="fill:none"></path></g></g></svg> in black/white with permutation grid, spatial links (densely dotted), and attribute <code class="ltx_verbatim ltx_font_typewriter">alt={N with permutation grid}</code>.</p>
</div>
</li>
<li id="Sx1.I1.i3" class="ltx_item" style="list-style-type:none;">
<span class="ltx_tag ltx_tag_item">3.</span>
<div id="Sx1.I1.i3.p1" class="ltx_para">
<p class="ltx_p"><code class="ltx_verbatim ltx_font_typewriter">\rcauset</code> test <svg id="Sx1.I1.i3.p1.pic1" class="ltx_picture" height="41.31" overflow="visible" version="1.1" width="25.72"><g transform="translate(12.86,28.45) matrix(1 0 0 -1 0 -15.59)"><g stroke="#0000FF" fill="#0000FF" stroke-width="0.1548pt" color="#0000FF"><path d="M 12.86 -7.57 C 12.86 -6.74 12.19 -6.07 11.36 -6.07 C 10.53 -6.07 9.86 -6.74 9.86 -7.57 C 9.86 -8.4 10.53 -9.07 11.36 -9.07 C 12.19 -9.07 12.86 -8.4 12.86 -7.57 Z M 11.36 -7.57" style="stroke:none"></path></g><g stroke="#0000FF" fill="#0000FF" stroke-width="0.1548pt" color="#0000FF"><path d="M 1.5 -11.36 C 1.5 -10.53 0.83 -9.86 0 -9.86 C -0.83 -9.86 -1.5 -10.53 -1.5 -11.36 C -1.5 -12.19 -0.83 -12.86 0 -12.86 C 0.83 -12.86 1.5 -12.19 1.5 -11.36 Z M 0 -11.36" style="stroke:none"></path></g><g stroke="#0000FF" fill="#0000FF" stroke-width="0.1548pt" color="#0000FF"><path d="M 12.86 7.57 C 12.86 8.4 12.19 9.07 11.36 9.07 C 10.53 9.07 9.86 8.4 9.86 7.57 C 9.86 6.74 10.53 6.07 11.36 6.07 C 12.19 6.07 12.86 6.74 12.86 7.57 Z M 11.36 7.57" style="stroke:none"></path></g><g stroke="#0000FF" fill="#0000FF" stroke-width="0.1548pt" color="#0000FF"><path d="M -9.86 -7.57 C -9.86 -6.74 -10.53 -6.07 -11.36 -6.07 C -12.19 -6.07 -12.86 -6.74 -12.86 -7.57 C -12.86 -8.4 -12.19 -9.07 -11.36 -9.07 C -10.53 -9.07 -9.86 -8.4 -9.86 -7.57 Z M -11.36 -7.57" style="stroke:none"></path></g><g stroke="#0000FF" fill="#0000FF" stroke-width="0.1548pt" color="#0000FF"><path d="M 1.5 11.36 C 1.5 12.19 0.83 12.86 0 12.86 C -0.83 12.86 -1.5 12.19 -1.5 11.36 C -1.5 10.53 -0.83 9.86 0 9.86 C 0.83 9.86 1.5 10.53 1.5 11.36 Z M 0 11.36" style="stroke:none"></path></g><g stroke="#0000FF" fill="#0000FF" stroke-width="0.1548pt" color="#0000FF"><path d="M -9.86 7.57 C -9.86 8.4 -10.53 9.07 -11.36 9.07 C -12.19 9.07 -12.86 8.4 -12.86 7.57 C -12.86 6.74 -12.19 6.07 -11.36 6.07 C -10.53 6.07 -9.86 6.74 -9.86 7.57 Z M -11.36 7.57" style="stroke:none"></path></g><g stroke="#00FFFF" fill="#00FFFF" stroke-width="0.5418pt" color="#00FFFF"><path d="M 0 -22.72 L 0 -22.72" style="fill:none"></path></g><g stroke="#00FFFF" fill="#00FFFF" stroke-width="0.5418pt" color="#00FFFF"><path d="M 0 -22.72 L 0 -22.72" style="fill:none"></path></g><g stroke="#00FFFF" fill="#00FFFF" stroke-width="0.5418pt" color="#00FFFF"><path d="M 0 -22.72 L 0 -22.72" style="fill:none"></path></g><g stroke="#00FFFF" fill="#00FFFF" stroke-width="0.5418pt" color="#00FFFF"><path d="M 0 -22.72 L 0 -22.72" style="fill:none"></path></g><g stroke="#00FFFF" fill="#00FFFF" stroke-width="0.5418pt" color="#00FFFF"><path d="M 0 -22.72 L 0 -22.72" style="fill:none"></path></g><g stroke="#00FFFF" fill="#00FFFF" stroke-width="0.5418pt" color="#00FFFF"><path d="M 0 -22.72 L 0 -22.72" style="fill:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.4pt" color="#000000"><g transform="matrix(0.56 0.0 0.0 0.56 -9.45 -27.21)" fill="#0000FF" stroke="#0000FF" color="#0000FF"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#0000FF;">4.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 -9.45 -27.21)" fill="#0000FF" stroke="#0000FF" color="#0000FF"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#0000FF;">2.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 -9.45 -27.21)" fill="#0000FF" stroke="#0000FF" color="#0000FF"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#0000FF;">6.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 -9.45 -27.21)" fill="#0000FF" stroke="#0000FF" color="#0000FF"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#0000FF;">1.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 -9.45 -27.21)" fill="#0000FF" stroke="#0000FF" color="#0000FF"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#0000FF;">5.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 -9.45 -27.21)" fill="#0000FF" stroke="#0000FF" color="#0000FF"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#0000FF;">3.</span></foreignObject></switch></g></g></g></svg> in neon colours with labels, spatial links, and neon colors.</p>
</div>
</li>
<li id="Sx1.I1.i4" class="ltx_item" style="list-style-type:none;">
<span class="ltx_tag ltx_tag_item">4.</span>
<div id="Sx1.I1.i4.p1" class="ltx_para">
<p class="ltx_p"><code class="ltx_verbatim ltx_font_typewriter">\causet</code> test <svg id="Sx1.I1.i4.p1.pic1" class="ltx_picture" height="102.74" overflow="visible" version="1.1" width="63.58"><g transform="translate(31.79,59.59) matrix(1 0 0 -1 0 -16.44)"><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 24.22 -30.29 C 24.22 -29.46 23.55 -28.79 22.72 -28.79 C 21.89 -28.79 21.22 -29.46 21.22 -30.29 C 21.22 -31.12 21.89 -31.79 22.72 -31.79 C 23.55 -31.79 24.22 -31.12 24.22 -30.29 Z M 22.72 -30.29" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 31.79 -15.15 C 31.79 -14.32 31.12 -13.65 30.29 -13.65 C 29.46 -13.65 28.79 -14.32 28.79 -15.15 C 28.79 -15.97 29.46 -16.65 30.29 -16.65 C 31.12 -16.65 31.79 -15.97 31.79 -15.15 Z M 30.29 -15.15" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 1.5 -37.87 C 1.5 -37.04 0.83 -36.37 0 -36.37 C -0.83 -36.37 -1.5 -37.04 -1.5 -37.87 C -1.5 -38.69 -0.83 -39.36 0 -39.36 C 0.83 -39.36 1.5 -38.69 1.5 -37.87 Z M 0 -37.87" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M -9.86 -41.65 C -9.86 -40.82 -10.53 -40.15 -11.36 -40.15 C -12.19 -40.15 -12.86 -40.82 -12.86 -41.65 C -12.86 -42.48 -12.19 -43.15 -11.36 -43.15 C -10.53 -43.15 -9.86 -42.48 -9.86 -41.65 Z M -11.36 -41.65" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 28 3.79 C 28 4.61 27.33 5.29 26.51 5.29 C 25.68 5.29 25.01 4.61 25.01 3.79 C 25.01 2.96 25.68 2.29 26.51 2.29 C 27.33 2.29 28 2.96 28 3.79 Z M 26.51 3.79" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M -2.29 -18.93 C -2.29 -18.1 -2.96 -17.43 -3.79 -17.43 C -4.61 -17.43 -5.29 -18.1 -5.29 -18.93 C -5.29 -19.76 -4.61 -20.43 -3.79 -20.43 C -2.96 -20.43 -2.29 -19.76 -2.29 -18.93 Z M -3.79 -18.93" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M -17.43 -26.51 C -17.43 -25.68 -18.1 -25.01 -18.93 -25.01 C -19.76 -25.01 -20.43 -25.68 -20.43 -26.51 C -20.43 -27.33 -19.76 -28 -18.93 -28 C -18.1 -28 -17.43 -27.33 -17.43 -26.51 Z M -18.93 -26.51" style="stroke:none"></path></g><g stroke-width="0.1548pt" fill="#FF8000" stroke="#FF8000" color="#FF8000"><path d="M 1.5 0 C 1.5 0.83 0.83 1.5 0 1.5 C -0.83 1.5 -1.5 0.83 -1.5 0 C -1.5 -0.83 -0.83 -1.5 0 -1.5 C 0.83 -1.5 1.5 -0.83 1.5 0 Z M 0 0" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 20.43 26.51 C 20.43 27.33 19.76 28 18.93 28 C 18.1 28 17.43 27.33 17.43 26.51 C 17.43 25.68 18.1 25.01 18.93 25.01 C 19.76 25.01 20.43 25.68 20.43 26.51 Z M 18.93 26.51" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 5.29 18.93 C 5.29 19.76 4.61 20.43 3.79 20.43 C 2.96 20.43 2.29 19.76 2.29 18.93 C 2.29 18.1 2.96 17.43 3.79 17.43 C 4.61 17.43 5.29 18.1 5.29 18.93 Z M 3.79 18.93" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M -25.01 -3.79 C -25.01 -2.96 -25.68 -2.29 -26.51 -2.29 C -27.33 -2.29 -28 -2.96 -28 -3.79 C -28 -4.61 -27.33 -5.29 -26.51 -5.29 C -25.68 -5.29 -25.01 -4.61 -25.01 -3.79 Z M -26.51 -3.79" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 12.86 41.65 C 12.86 42.48 12.19 43.15 11.36 43.15 C 10.53 43.15 9.86 42.48 9.86 41.65 C 9.86 40.82 10.53 40.15 11.36 40.15 C 12.19 40.15 12.86 40.82 12.86 41.65 Z M 11.36 41.65" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M 1.5 37.87 C 1.5 38.69 0.83 39.36 0 39.36 C -0.83 39.36 -1.5 38.69 -1.5 37.87 C -1.5 37.04 -0.83 36.37 0 36.37 C 0.83 36.37 1.5 37.04 1.5 37.87 Z M 0 37.87" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M -28.79 15.15 C -28.79 15.97 -29.46 16.65 -30.29 16.65 C -31.12 16.65 -31.79 15.97 -31.79 15.15 C -31.79 14.32 -31.12 13.65 -30.29 13.65 C -29.46 13.65 -28.79 14.32 -28.79 15.15 Z M -30.29 15.15" style="stroke:none"></path></g><g stroke="#000080" fill="#000080" stroke-width="0.1548pt" color="#000080"><path d="M -21.22 30.29 C -21.22 31.12 -21.89 31.79 -22.72 31.79 C -23.55 31.79 -24.22 31.12 -24.22 30.29 C -24.22 29.46 -23.55 28.79 -22.72 28.79 C -21.89 28.79 -21.22 29.46 -21.22 30.29 Z M -22.72 30.29" style="stroke:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke-width="0.5418pt" fill="#FF0000" stroke="#FF0000" color="#FF0000"><path d="M 0 -56.8 L 4.5 -56.8" style="fill:none"></path><g transform="matrix(1.0 0.0 0.0 1.0 -4.12 -56.8)"><path d="M -0.56 0.37 L 0 0.37 L 0.37 0 L 0 -0.37 L -0.56 -0.37 Z" style="stroke:none"></path></g><g transform="matrix(1.0 0.0 0.0 1.0 -3.75 -56.8)"><path d="M 0 0.37 L 0.37 0.37 L 0.75 0 L 0.37 -0.37 L 0 -0.37 L 0.37 0 Z" style="stroke:none"></path></g><g transform="matrix(1.0 0.0 0.0 1.0 -3 -56.8)"><path d="M 0 0.37 L 0.37 0.37 L 0.75 0 L 0.37 -0.37 L 0 -0.37 L 0.37 0 Z" style="stroke:none"></path></g></g><g stroke-width="0.5418pt" fill="#FF0000" stroke="#FF0000" color="#FF0000"><path d="M 4.5 -56.8 L 0 -56.8" style="fill:none"></path><g transform="matrix(1.0 0.0 0.0 1.0 -3.75 -56.8)"><path d="M -0.94 0.37 L -0.37 0.37 L 0 0.37 L -0.37 0 L 0 -0.37 L -0.37 -0.37 L -0.94 -0.37 Z" style="stroke:none"></path></g><g transform="matrix(1.0 0.0 0.0 1.0 -3 -56.8)"><path d="M 0 0.37 L -0.37 0.37 L -0.75 0 L -0.37 -0.37 L 0 -0.37 L -0.37 0 Z" style="stroke:none"></path></g><g transform="matrix(1.0 0.0 0.0 1.0 -2.25 -56.8)"><path d="M 0 0.37 L -0.37 0.37 L -0.75 0 L -0.37 -0.37 L 0 -0.37 L -0.37 0 Z" style="stroke:none"></path></g></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#00BFBF" fill="#00BFBF" stroke-width="0.5418pt" color="#00BFBF"><path d="M 0 -56.8 L 0 -56.8" style="fill:none"></path></g><g stroke="#000000" fill="#000000" stroke-width="0.4pt" color="#000000"><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-1.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">2.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-5.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-7.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">4.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-3.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-6.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">0.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">6.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">3.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-4.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">7.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">5.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="18.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">-2.</span></foreignObject></switch></g><g transform="matrix(0.56 0.0 0.0 0.56 0.15 -58.35)" fill="#000080" stroke="#000080" color="#000080"><switch color="#000000"><foreignObject width="12.0pt" height="7.2pt" y="-2.21" transform="matrix(1 0 0 -1 0 9.96)" overflow="visible"><span class="ltx_text" style="font-size:80%;color:#000080;">1.</span></foreignObject></switch></g></g></g></svg> in blue colours with labels, an automatically interrupted link (local style: red) crossing the event 0 (local style: orange).</p>
</div>
</li>
</ol>
</div>
<div class="ltx_pagination ltx_role_newpage"></div>
</section>
</article>
</div>
<footer class="ltx_page_footer">
<div class="ltx_page_logo">Generated on Wed Jan 1 12:03:44 2025 by <a href="http://dlmf.nist.gov/LaTeXML/">LaTeXML <img src="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAsAAAAOCAYAAAD5YeaVAAAAAXNSR0IArs4c6QAAAAZiS0dEAP8A/wD/oL2nkwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9wKExQZLWTEaOUAAAAddEVYdENvbW1lbnQAQ3JlYXRlZCB3aXRoIFRoZSBHSU1Q72QlbgAAAdpJREFUKM9tkL+L2nAARz9fPZNCKFapUn8kyI0e4iRHSR1Kb8ng0lJw6FYHFwv2LwhOpcWxTjeUunYqOmqd6hEoRDhtDWdA8ApRYsSUCDHNt5ul13vz4w0vWCgUnnEc975arX6ORqN3VqtVZbfbTQC4uEHANM3jSqXymFI6yWazP2KxWAXAL9zCUa1Wy2tXVxheKA9YNoR8Pt+aTqe4FVVVvz05O6MBhqUIBGk8Hn8HAOVy+T+XLJfLS4ZhTiRJgqIoVBRFIoric47jPnmeB1mW/9rr9ZpSSn3Lsmir1fJZlqWlUonKsvwWwD8ymc/nXwVBeLjf7xEKhdBut9Hr9WgmkyGEkJwsy5eHG5vN5g0AKIoCAEgkEkin0wQAfN9/cXPdheu6P33fBwB4ngcAcByHJpPJl+fn54mD3Gg0NrquXxeLRQAAwzAYj8cwTZPwPH9/sVg8PXweDAauqqr2cDjEer1GJBLBZDJBs9mE4zjwfZ85lAGg2+06hmGgXq+j3+/DsixYlgVN03a9Xu8jgCNCyIegIAgx13Vfd7vdu+FweG8YRkjXdWy329+dTgeSJD3ieZ7RNO0VAXAPwDEAO5VKndi2fWrb9jWl9Esul6PZbDY9Go1OZ7PZ9z/lyuD3OozU2wAAAABJRU5ErkJggg==" alt="[LOGO]"></a>
</div></footer>
</div>
</body>
</html>