Add files via upload

diff --git a/docs/documentation.html b/docs/documentation.html
index 389c6ca8dc9fc33350ee98f08813c6998020ff97..373d0176643a227c75e5ee82e83b8fbfc300e19a 100644 (file)
--- a/docs/documentation.html
+++ b/docs/documentation.html
@@ -601,7 +601,7 @@ S -> ∫
 ' -> ′\r
 " -> ″\r
 p -> ∂\r
 ' -> ′\r
 " -> ″\r
 p -> ∂\r

-d -> Δ\r
+d -> ∆\r

 D -> ∇\r
 + -> ⊕\r
 * -> ⊗\r
 D -> ∇\r
 + -> ⊕\r
 * -> ⊗\r


@@ -643,6 +643,7 @@ Z -> ℤ
 7 -> ∡\r
 l -> ∥\r
 L -> ∦\r
 7 -> ∡\r
 l -> ∥\r
 L -> ∦\r

+œ (AltGr + p)-> ∏\r

 ß (AltGr + s) -> ∑\r
 (space) -> √\r
 </pre>\r
 ß (AltGr + s) -> ∑\r
 (space) -> √\r
 </pre>\r