--- /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>