document.addEventListener("DOMContentLoaded", function() { // provides an escape for dollar sign chars if KaTeX is not desired let posts = document.getElementsByClassName("post"); for (let i = 0; i < posts.length; i++) { let children = posts[i].children for (let j = 0; j < children.length; j++) { if (children[j].tagName == "P") { children[j].innerHTML = children[j].innerHTML.replace(/\\\$/g, '$'); } } } renderMathInElement(document.body, { delimiters: [ {left: "$$", right: "$$", display: true}, {left: "$", right: "$", display: false} ] }); });