proofofconcept
proofofconcept copied to clipboard
mathjax rendering error for "K >> G"
On the page https://derivationmap.net/html_view/608598 the MathJax for expression ID 9674924517 is not rendered correctly. The Latex for the inference rule "drop non-dominant term" is in data.json
as
"Based on the assumption $#1$, drop non-dominant term