Add a few charactersHEADmaster

1 files changed, 4 insertions, 0 deletions

diff --git a/page.js b/page.js
index a13cb30..1ce8cae 100644
--- a/page.js
+++ b/page.js
@@ -94,6 +94,8 @@
         "\\dp": "∂",
         "\\infty": "∞",
         "\\inf": "∞",
+        "\\del": "∇",
+        "\\int": "∫",
       }[name];
       if (sym) return sym;
 
@@ -233,6 +235,8 @@
         "\\dp": 0,
         "\\infty": 0,
         "\\inf": 0,
+        "\\del": 0,
+        "\\int": 0,
         "\\bf": 1,
         "\\mathbf": 1,
         "^": 1,