From 1803f21d19708ddd892395c76462bdeaed43771a Mon Sep 17 00:00:00 2001
From: Pieter Degroote <pieter-degroote@users.noreply.github.com>
Date: Sat, 20 Jul 2019 00:59:27 +0200
Subject: [PATCH 1/1] Add files via upload

---
 docs/documentation.html | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/documentation.html b/docs/documentation.html
index 389c6ca..373d017 100644
--- a/docs/documentation.html
+++ b/docs/documentation.html
@@ -601,7 +601,7 @@ S -> ∫
 ' -> ′
 " -> ″
 p -> ∂
-d -> Δ
+d -> ∆
 D -> ∇
 + -> ⊕
 * -> ⊗
@@ -643,6 +643,7 @@ Z -> ℤ
 7 -> ∡
 l -> ∥
 L -> ∦
+œ (AltGr + p)-> ∏
 ß (AltGr + s) -> ∑
 (space) -> √
 </pre>
-- 
2.47.3