katex-header.html

<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/katex@0.10.0/dist/katex.min.css" integrity="sha384-9eLZqc9ds8eNjO3TmqPeYcDj8n+Qfa4nuSiGYa6DjLNcv9BtN69ZIulL9+8CqC9Y" crossorigin="anonymous">
<script src="https://cdn.jsdelivr.net/npm/katex@0.10.0/dist/katex.min.js"                  integrity="sha384-K3vbOmF2BtaVai+Qk37uypf7VrgBubhQreNQe9aGsz9lB63dIFiQVlJbr92dw2Lx" crossorigin="anonymous"></script>
<script src="https://cdn.jsdelivr.net/npm/katex@0.10.0/dist/contrib/auto-render.min.js"    integrity="sha384-kmZOZB5ObwgQnS/DuDg6TScgOiWWBiVt0plIRkZCmE6rDZGrEOQeHM5PcHi+nyqe" crossorigin="anonymous"></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: {
                "\\prover": "\\mathcal{P}",
                "\\verifier": "\\mathcal{V}",
                "\\relation": "\\mathcal{R}",
                "\\zero": "\\mathcal{O}",
                "\\field": "\\mathbb{F}",
                "\\group": "\\mathbb{G}",
                "\\halo": "\\mathbf{Halo}",
                "\\setup": "\\textrm{Setup}",
                "\\pp": "\\textrm{pp}",
                "\\innerprod": "\\langle #1,#2 \\rangle",
                "\\sec": "\\lambda",
                "\\lo": "_\{lo\}",
                "\\hi": "_\{hi\}",
            }
        });
    });
</script>