window.addEventListener("load", () => {
  const macros = {};
  for (const item of new Map(
    Object.entries({
      N: "mathbb{N}",
      R: "mathbb{R}",
      Z: "mathbb{Z}",
      B: "mathbb{B}",
      O: "Theta",
      ra: "rightarrow",
      la: "leftarrow",
      RA: "Rightarrow",
      LA: "Leftarrow",
      u: "mu",
      Tau: "mathrm{T}",
      lb: "llbracket",
      rb: "rrbracket",
    })
  )[Symbol.iterator]()) {
    const bs = "\\";
    macros[`${bs}${item[0]}`] = `${bs}${item[1]}`;
  }

  const attribute = "data-math-style";
  for (const element of document.querySelectorAll(`span[${attribute}]`)) {
    katex.render(element.textContent, element, {
      throwOnError: false,
      displayMode: element.getAttribute(attribute) === "display",
      macros: macros,
    });
  }
});