Add partial symbol

2025-10-18 09:18:39 +00:00 · 2014-09-19 14:14:46 -04:00
parent 73c33b015a
commit b9333a36d1
1 changed files with 5 additions and 0 deletions
--- 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",