From 891e3dfb854765071245f20a46204d00a48fb32a Mon Sep 17 00:00:00 2001
From: Pieter Degroote <pieter-degroote@users.noreply.github.com>
Date: Tue, 16 Jul 2019 23:59:28 +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 34fde51..389c6ca 100644
--- a/docs/documentation.html
+++ b/docs/documentation.html
@@ -396,7 +396,7 @@ x -> ✗  (ballot x)
 - (hyphen-minus) -> ⁃  (hyphen bullet)
 . (dot) -> •  (bullet)
 | -> ⁞  (vertical four dots)
-(space) -> ©  (logical negation sign)
+(space) -> ©
 </pre>
 
 <p>&nbsp;</p>
-- 
2.47.3