From eaf89dd45dc41493bf69ce0e73658dbd6ec5e101 Mon Sep 17 00:00:00 2001
From: Jeff Everett <everett.jeff.w@gmail.com>
Date: Wed, 1 Jul 2015 01:56:43 -0600
Subject: [PATCH] Add two AMS symbols: checkmark and circledR

---
 src/symbols.js | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/symbols.js b/src/symbols.js
index f1e9c3de9..b620d730f 100644
--- 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": {