From d25a01df9c70d2c948c5cc5bf80118a6937d0db1 Mon Sep 17 00:00:00 2001
From: Pieter Degroote <pieter-degroote@users.noreply.github.com>
Date: Tue, 16 Jul 2019 23:12:37 +0200
Subject: [PATCH] Add files via upload

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

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