Merge pull request #214 from fkling/misc_symbol

Add \# and \& to AMS misc symbols
2025-10-11 22:18:41 +00:00 · 2015-03-30 10:19:18 -07:00
parent 09f6451b50 d9dedeaab8
commit 379b98880d
1 changed files with 10 additions and 0 deletions
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -152,6 +152,16 @@ var symbols = {
        },

        // Misc Symbols
+        "\\#": {
+          font: "main",
+          group: "textord",
+          replace: "\u0023"
+        },
+        "\\&": {
+          font: "main",
+          group: "textord",
+          replace: "\u0026"
+        },
        "\\aleph": {
            font: "main",
            group: "textord",