commit d2f41a19a5e9a68dd67df02d5998bc5ce81aed8e
parent b675587259ab0c93717d7551877c326883747279
Author: Emily Eisenberg <xymostech@gmail.com>
Date: Fri, 19 Sep 2014 12:34:00 -0700
Merge pull request #89 from patrickkang/master
Add \partial symbol
Diffstat:
1 file changed, 5 insertions(+), 0 deletions(-)
diff --git 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",