proofofconcept icon indicating copy to clipboard operation
proofofconcept copied to clipboard

mathjax rendering error for "K >> G"

Open bhpayne opened this issue 3 years ago • 0 comments

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

bhpayne avatar Aug 08 '21 23:08 bhpayne