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|
 ↦↦↦↦|
 ↠↠↠↠|
 ͰͰͰͰ|
-⊦⊦⊦⊦|
+ⱵⱵⱵⱵ|
 ∈∈∈∈|
 ∋∋∋∋|
 ----|