Add percent sign

Auditors: emily
2025-10-06 11:48:41 +00:00 · 2013-09-13 16:10:34 -07:00
parent 2efa794fd3
commit f3225ee7ee
2 changed files with 2 additions and 0 deletions
--- a/Parser.js
+++ b/Parser.js
@@ -200,6 +200,7 @@ var copyFuncs = {
    "textord": [
        "textord",
        "\\$",
+        "\\%",
        "\\angle",
        "\\infty",
        "\\prime",
--- a/buildTree.js
+++ b/buildTree.js
@@ -417,6 +417,7 @@ var charLookup = {
    "`": "\u2018",
    "\\ ": "\u00a0",
    "\\$": "$",
+    "\\%": "%",
    "\\angle": "\u2220",
    "\\cdot": "\u22c5",
    "\\circ": "\u2218",