Add files via upload

diff --git a/docs/documentation.html b/docs/documentation.html
index 2aa00085b4ba36a989f3c98885156f61a66320c7..34fde51baa9c52a9b0c5aa5cc7c82b814589d827 100644 (file)
--- a/docs/documentation.html
+++ b/docs/documentation.html
@@ -643,7 +643,7 @@ Z -> ℤ
 7 -> ∡\r
 l -> ∥\r
 L -> ∦\r
-ß -> ∑\r
+ß (AltGr + s) -> ∑\r
 (space) -> √\r
 </pre>\r
 \r