31:T5f9,function texmd() { // First perform tex replacement on all the strings in the template // Each piece of tex is replaced with a placeholder for now, to keep it away from the markdown parser var display_maths = []; var inline_maths = []; // Note use of raw strings here; important to keep backslashes intact so tex can see them let strings = arguments[0].raw.map(function(string) { // Then extract all the TeX code and replace it with placeholders (so it won't be run through md) string = string.replace(/\$\$([^\$]*)\$\$/g, (s, m) => { var i = display_maths.push(m) - 1; return `\n\n

\n\n`; }); string = string.replace(/\$([^\$]*)\$/g, (s, m) => { var i = inline_maths.push(m) - 1; return ``; }); return string }) // Now we can run this through markdown with proper ${} substitutions var node = md(strings, ...Array.prototype.slice.call(arguments, 1)); // And finally replace TeX placeholders with output of tex() node.querySelectorAll('span.imath').forEach(span => { var i = parseInt(span.attributes.n.value); if (inline_maths[i] === undefined) throw 'What?'; span.appendChild(tex`${inline_maths[i]}`); span.style['font-size'] = '.95em'; }); node.querySelectorAll('div.dmath').forEach(div => { var i = parseInt(div.attributes.n.value); div.appendChild(tex.block`${display_maths[i]}`); div.style['font-size'] = '.95em'; }); return node; }32:[] 2f:{"title":"KaTeX within markdown","cells":[{"id":0,"value":"md`# KaTeX within markdown\n\nBy default, if you want LaTeX intermingled within Markdown, you have to write:\n\n~~~\nmd\\`mdtext \\${tex\\`latext\\`} mdtext\\`\n~~~\n\nIf you do that a lot, you may prefer the following syntax:\n\n~~~\ntexmd\\`mdtext \\$latext\\$ mdtext\\`\n~~~\n\nThis work was started by [Kelley van Evert](https://observablehq.com/@kelleyvanevert/katex-within-markdown). That implementation has one major problem, which is that \\`\\${}\\` interpolation inside \\`texmd\\` can't return a DOM element:\n`","pinned":false,"hidden":false,"mode":"ojs"},{"id":403,"value":"\n{\n function makeelt(str) {\n return html`${str}`\n }\n\n return texmd_upstream`$\\beta$ This *should* be useful: ${makeelt(\"this *isn't* markdown\")} and it ${makeelt(\"*isn't* $te_x$\")}, ${\"boo\"}!`\n}\n","pinned":true,"hidden":false,"mode":"ojs"},{"id":402,"value":"md`This is more like what you might expect:`","pinned":false,"hidden":false,"mode":"ojs"},{"id":401,"value":"\n{\n function makeelt(str) {\n return html`${str}`\n }\n\n return texmd`$\\beta$ This is *more* useful: ${makeelt(\"this *isn't* markdown\")} and it ${makeelt(\"*isn't* $te_x$\")}, ${\"yay\"}!`\n}\n\n","pinned":true,"hidden":false,"mode":"ojs"},{"id":210,"value":"md`## Example`","pinned":false,"hidden":false,"mode":"ojs"},{"id":146,"value":"texmd`Let $\\Gamma$ be a $D$-set, $A : \\Gamma \\to D$**-set**, and $B:\\sigma(\\Gamma,A) \\to D$**-set**. Define the $D$-set element for internal relativized evaluation of an internal dependent product:\n\n$$ \\begin{aligned} {\\sf{eval}}_{\\Gamma,A,B} &\\in \\pi\\big(\\,\\pi_\\Gamma(A,B) \\times \\pi(\\Gamma,A),\\, n \\mapsto \\pi(\\Gamma,B(\\langle -, n_1(-) \\rangle)) \\,\\big) \\\\ {\\sf{eval}}_{\\Gamma,A,B}&(n)(\\gamma) \\triangleq n_0(\\gamma)(n_1(\\gamma)) \\end{aligned} $$\n\nThis definition is valid, because $ {\\sf{eval}}_{\\Gamma,A,B}(p,a) \\in \\pi(\\Gamma,B(\\langle-,a(-)\\rangle)) $ is tracked by $\\Lambda z.\\,(p \\cdot z)\\cdot(a \\cdot z)$, and subsequently $ {\\sf{eval}}_{\\Gamma,A,B} $ is tracked by $\\Lambda n.\\Lambda z.\\,(n_0 \\cdot z)\\cdot(n_1 \\cdot z)$.\n\nInformally, this is of course just a messy internal $D$**-set** equivalent of the following picture: $$ {\\sf{eval}}_{\\Gamma,A,B} : {\\big({B_{(\\gamma,a)}}^{A_\\gamma}\\big)}^{\\Gamma} \\times {A_\\gamma}^\\Gamma \\to {B_{(\\gamma,a)}}^\\Gamma$$`","pinned":false,"hidden":false,"mode":"ojs"},{"id":131,"value":"md`## Usage`","pinned":false,"hidden":false,"mode":"ojs"},{"id":143,"value":"md`Use texmd as you would tex, md or html.\n\nYou can use inline maths $ ... $ as well as display maths $$ ... $$.`","pinned":false,"hidden":false,"mode":"ojs"},{"id":233,"value":"md`## Implementation`","pinned":false,"hidden":false,"mode":"ojs"},{"id":14,"value":"$31","pinned":false,"hidden":false,"mode":"ojs"},{"id":398,"value":"import {texmd as texmd_upstream} from \"@kelleyvanevert/katex-within-markdown\"","pinned":false,"hidden":false,"mode":"ojs"}],"files":"$W32","stdlib":"1","titling":"auto"}