Add two AMS symbols: checkmark and circledR

2015-07-01 01:56:43 -06:00 · 2015-07-01 01:56:43 -06:00 · eaf89dd45d
commit eaf89dd45d
parent 41e3fa6659
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": {