Merge pull request #280 from JeffEverett/master

Add two AMS symbols: checkmark and circledR
2015-07-01 07:24:11 -06:00 · 2015-07-01 07:24:11 -06:00 · 1ac6b41990
commit 1ac6b41990
parent 41e3fa6659 eaf89dd45d
1 changed files with 10 additions and 0 deletions
--- a/src/symbols.js
+++ b/src/symbols.js
@ -771,6 +771,11 @@ var symbols = {
            group: "textord",
            replace: "\u24c8"
        },
+        "\\circledR": {
+            font: "ams",
+            group: "textord",
+            replace: "\u00ae"
+        },
        "\\measuredangle": {
            font: "ams",
            group: "textord",
@ -876,6 +881,11 @@ var symbols = {
            group: "textord",
            replace: "\u00a5"
        },
+        "\\checkmark": {
+            font: "ams",
+            group: "textord",
+            replace: "\u2713"
+        },

        // AMS Hebrew
        "\\beth": {