import * as lunchbox from "https://deno.land/x/lunchbox@v0.3.15/src/katex.ts";