Replace named space with numeric em values for \pmod

See #60
fred-wang · Mar 23, 2019 · f5b1388 · f5b1388
1 parent fcce5a0
commit f5b1388
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/TeXZilla.jison b/TeXZilla.jison
@@ -680,7 +680,9 @@ closedTerm
     $$ = newTag("mrow", newMo("(") + $$ + newMo(")"));
   }
   | PMOD closedTerm {
-    $$ = "<mrow><mo lspace=\"mediummathspace\">(</mo><mo rspace=\"thinmathspace\">mod</mo>" + $2 + "<mo rspace=\"mediummathspace\">)</mo></mrow>";
+    $$ = newTag("mrow", newMo("(", namedSpaceToEm("mediummathspace")) +
+                newMo("mod", undefined, namedSpaceToEm("thinmathspace")) + $2 +
+                newMo(")", undefined, namedSpaceToEm("mediummathspace")));
   }
   | UNDERBRACE closedTerm { $$ = newTag("munder", $2 + newMo("\u23DF")); }
   | UNDERLINE closedTerm { $$ = newTag("munder", $2 + newMo("_")); }

diff --git a/unit-tests.js b/unit-tests.js