29:null 2a:["$","title",null,{"children":"KaTeX within markdown | Kelley van Evert | Observable"}] 2f: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; }30:[] 2d:{"id":"f0bfa03e8410e4c7","slug":"katex-within-markdown","title":"KaTeX within markdown","thumbnail":"2fa269823140c7dd7384df351475d18286a26a711dd78bf0d9095b46e947f4f3","access_level":"public","create_time":"$D2018-02-05T14:47:47.589Z","update_time":"$D2020-09-03T16:55:23.776Z","view_time":null,"first_public_time":"$D2018-02-05T15:36:29.939Z","has_unpublished_edits":null,"fork":false,"stars":18,"starred":false,"owner":{"type":"team","id":"cdda271b76654961","login":"kelleyvanevert","name":"Kelley van Evert","avatar_url":"https://avatars-next.observableusercontent.com/86df2bc54dd099fad6826dfcf7ae3dd97c5e0cdcf0cf3e0ac85ecd13e1938db2","tier":"starter_2024"},"version":404,"publish_version":404,"role":null,"authored":false,"authors":[{"type":"individual","id":"a35690ff73833989","login":"kelleyvanevert","name":"Kelley van Evert","avatar_url":"https://avatars-next.observableusercontent.com/86df2bc54dd099fad6826dfcf7ae3dd97c5e0cdcf0cf3e0ac85ecd13e1938db2","tier":null}],"members":[{"type":"individual","id":"a35690ff73833989","login":"kelleyvanevert","name":"Kelley van Evert","avatar_url":"https://avatars-next.observableusercontent.com/86df2bc54dd099fad6826dfcf7ae3dd97c5e0cdcf0cf3e0ac85ecd13e1938db2","tier":null,"role":"editor"}],"comments":[],"custom_thumbnail":false,"trashed":false,"lapsed":null,"subscribed":null,"forks":13,"collection":null,"type":"notebook","body":{"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","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"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","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":402,"value":"md`This is more like what you might expect:`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"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","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":210,"value":"md`## Example`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"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","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":131,"value":"md`## Usage`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"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","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":233,"value":"md`## Implementation`","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":14,"value":"$2f","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":398,"value":"import {texmd as texmd_upstream} from \"@kelleyvanevert/katex-within-markdown\"","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"}],"files":"$W30","stdlib":"1","titling":"auto"}} 2e:"$2d:body"