From 1abe0127f8ca1a3241d0b95c07487980aafbb3c7 Mon Sep 17 00:00:00 2001 From: Radu Date: Sat, 8 Jun 2024 21:07:30 -0400 Subject: Add a few characters --- page.js | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'page.js') 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, -- cgit v1.2.3