From b9333a36d1cb2e0896107dffd3a42dd308430f15 Mon Sep 17 00:00:00 2001
From: Patrick Kang <jykang1@gmail.com>
Date: Fri, 19 Sep 2014 14:14:46 -0400
Subject: [PATCH] Add partial symbol

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

diff --git a/src/symbols.js b/src/symbols.js
index 41ad43083..dd4fa53df 100644
--- a/src/symbols.js
+++ b/src/symbols.js
@@ -627,6 +627,11 @@ var symbols = {
             group: "textord",
             replace: "\u2297"
         },
+        "\\partial":{
+            font: "main",
+            group: "textord",
+            replace: "\u2202"
+        },
         "\\oslash": {
             font: "main",
             group: "textord",