misc/katex-header.html

Mon, 05 Dec 2022 23:50:22 +0200

author
Tuomo Valkonen <tuomov@iki.fi>
date
Mon, 05 Dec 2022 23:50:22 +0200
changeset 56
3a784e6e475a
parent 53
92cae2e8f598
permissions
-rw-r--r--

Zenodo packaging hacks

53
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
1 <link
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
2 rel="stylesheet"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
3 href="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.css"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
4 integrity="sha384-Xi8rHCmBmhbuyyhbI88391ZKP2dmfnOl4rT9ZfRI7mLTdk1wblIUnrIq35nqwEvC"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
5 crossorigin="anonymous"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
6 />
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
7 <script
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
8 defer
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
9 src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.js"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
10 integrity="sha384-X/XCfMm41VSsqRNQgDerQczD69XqmjOOOwYQvr/uuC+j4OPoNhVgjdGFwhvN02Ja"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
11 crossorigin="anonymous"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
12 ></script>
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
13 <script
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
14 defer
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
15 src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/contrib/auto-render.min.js"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
16 integrity="sha384-+XBljXPPiv+OzfbB3cVmLHf4hdUFHlWNZN5spNQ7rmHTXpd7WvJum6fIACpNNfIR"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
17 crossorigin="anonymous"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
18 onload="renderMathInElement(document.body);"
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
19 ></script>
0
eb3c7813b67a Initial version
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
20 <script>
53
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
21 document.addEventListener("DOMContentLoaded", function () {
0
eb3c7813b67a Initial version
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
22 renderMathInElement(document.body, {
eb3c7813b67a Initial version
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
23 delimiters: [
53
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
24 { left: "$$", right: "$$", display: true },
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
25 { left: "\\(", right: "\\)", display: false },
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
26 { left: "$", right: "$", display: false },
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
27 { left: "\\[", right: "\\]", display: true },
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
28 ],
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
29 macros: {
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
30 "\\iprod": "{\\langle #1, #2\\rangle}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
31 "\\dualprod": "{\\langle #1| #2\\rangle}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
32 "\\norm": "{\\|#1\\|}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
33 "\\abs": "{|{#1}|}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
34 "\\grad": "\\nabla",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
35 "\\isect": "\\cap",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
36 "\\union": "\\cup",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
37 "\\Isect": "\\bigcap",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
38 "\\Union": "\\bigcup",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
39 "\\linear": "\\mathbb{L}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
40 "\\downto": "\\searrow",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
41 "\\upto": "\\nearrow",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
42 "\\setto": "\\rightrightarrows",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
43 "\\Meas": "\\mathcal{M}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
44 "\\B": "\\mathbb{B}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
45 "\\subdiff": "\\partial",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
46 "\\inv": "{#1}^{-1}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
47 "\\pinv": "{#1}^\\dagger",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
48 "\\pinvstar": "{#1}^{\\dagger*}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
49 "\\freevar": "\\,\\boldsymbol\\cdot\\,",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
50 "\\MYMATHOP": "\\mathop{\\mathrm{#1}}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
51 "\\prox": "\\MYMATHOP{prox}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
52 "\\proj": "\\MYMATHOP{proj}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
53 "\\supp": "\\MYMATHOP{supp}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
54 "\\soft": "\\MYMATHOP{soft}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
55 "\\sign": "\\MYMATHOP{sign}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
56 "\\ran": "\\MYMATHOP{ran}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
57 "\\ker": "\\MYMATHOP{ker}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
58 "\\Id": "\\MYMATHOP{Id}",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
59 "\\defeq": ":=",
92cae2e8f598 Add macros to katex-header.
Tuomo Valkonen <tuomov@iki.fi>
parents: 0
diff changeset
60 },
0
eb3c7813b67a Initial version
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
61 });
eb3c7813b67a Initial version
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
62 });
eb3c7813b67a Initial version
Tuomo Valkonen <tuomov@iki.fi>
parents:
diff changeset
63 </script>

mercurial