From 856fb6fb25462572316b64479f2209ea9ea12268 Mon Sep 17 00:00:00 2001
From: Wen Kokke <wen.kokke@gmail.com>
Date: Tue, 26 Jun 2018 17:11:51 +0100
Subject: [PATCH] Added Latin Capital Letter Half H; removed Short Right Tack

---
 src/plta/Fonts.lagda | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plta/Fonts.lagda b/src/plta/Fonts.lagda
index 221ffa50..31c312ef 100644
--- a/src/plta/Fonts.lagda
+++ b/src/plta/Fonts.lagda
@@ -39,7 +39,7 @@ ABCDEFGHIJKLMNOPQRSTUVWXYZ|
 ↦↦↦↦|
 ↠↠↠↠|
 ͰͰͰͰ|
-⊦⊦⊦⊦|
+ⱵⱵⱵⱵ|
 ∈∈∈∈|
 ∋∋∋∋|
 ----|