diff -r a4137aedcb3a -r c3a4f4bb87f7 misc/katex-header.html
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/misc/katex-header.html	Wed Apr 22 22:32:00 2026 -0500
@@ -0,0 +1,63 @@
+<link
+    rel="stylesheet"
+    href="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.css"
+    integrity="sha384-Xi8rHCmBmhbuyyhbI88391ZKP2dmfnOl4rT9ZfRI7mLTdk1wblIUnrIq35nqwEvC"
+    crossorigin="anonymous"
+/>
+<script
+    defer
+    src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/katex.min.js"
+    integrity="sha384-X/XCfMm41VSsqRNQgDerQczD69XqmjOOOwYQvr/uuC+j4OPoNhVgjdGFwhvN02Ja"
+    crossorigin="anonymous"
+></script>
+<script
+    defer
+    src="https://cdn.jsdelivr.net/npm/katex@0.16.0/dist/contrib/auto-render.min.js"
+    integrity="sha384-+XBljXPPiv+OzfbB3cVmLHf4hdUFHlWNZN5spNQ7rmHTXpd7WvJum6fIACpNNfIR"
+    crossorigin="anonymous"
+    onload="renderMathInElement(document.body);"
+></script>
+<script>
+    document.addEventListener("DOMContentLoaded", function () {
+        renderMathInElement(document.body, {
+            delimiters: [
+                { left: "$$", right: "$$", display: true },
+                { left: "\\(", right: "\\)", display: false },
+                { left: "$", right: "$", display: false },
+                { left: "\\[", right: "\\]", display: true },
+            ],
+            macros: {
+                "\\iprod": "{\\langle #1, #2\\rangle}",
+                "\\dualprod": "{\\langle #1| #2\\rangle}",
+                "\\norm": "{\\|#1\\|}",
+                "\\abs": "{|{#1}|}",
+                "\\grad": "\\nabla",
+                "\\isect": "\\cap",
+                "\\union": "\\cup",
+                "\\Isect": "\\bigcap",
+                "\\Union": "\\bigcup",
+                "\\linear": "\\mathbb{L}",
+                "\\downto": "\\searrow",
+                "\\upto": "\\nearrow",
+                "\\setto": "\\rightrightarrows",
+                "\\Meas": "\\mathcal{M}",
+                "\\B": "\\mathbb{B}",
+                "\\subdiff": "\\partial",
+                "\\inv": "{#1}^{-1}",
+                "\\pinv": "{#1}^\\dagger",
+                "\\pinvstar": "{#1}^{\\dagger*}",
+                "\\freevar": "\\,\\boldsymbol\\cdot\\,",
+                "\\MYMATHOP": "\\mathop{\\mathrm{#1}}",
+                "\\prox": "\\MYMATHOP{prox}",
+                "\\proj": "\\MYMATHOP{proj}",
+                "\\supp": "\\MYMATHOP{supp}",
+                "\\soft": "\\MYMATHOP{soft}",
+                "\\sign": "\\MYMATHOP{sign}",
+                "\\ran": "\\MYMATHOP{ran}",
+                "\\ker": "\\MYMATHOP{ker}",
+                "\\Id": "\\MYMATHOP{Id}",
+                "\\defeq": ":=",
+            },
+        });
+    });
+</script>