From 724d8eb487f7bad46e674cee80c9f547d4fd469c Mon Sep 17 00:00:00 2001
From: Altaria <yuanting.mao@gmail.com>
Date: Wed, 23 Jun 2021 15:25:45 +0100
Subject: [PATCH] added new symbols in part2 and 3

---
 src/plfa/backmatter/Fonts.lagda.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/plfa/backmatter/Fonts.lagda.md b/src/plfa/backmatter/Fonts.lagda.md
index b0c6f50c..8e98a68d 100644
--- a/src/plfa/backmatter/Fonts.lagda.md
+++ b/src/plfa/backmatter/Fonts.lagda.md
@@ -80,6 +80,9 @@ lˡrʳ|
 ∥∥∥∥|
 ★★★★|
 ∌∌∉∉|
+⨟⨟⨟⨟|
+⨆⨆⨆⨆|
+〔〔〕〕|
 ----|
 -}
 ```
@@ -113,6 +116,7 @@ Here are some characters that are often not monospaced.
 𝔸𝔹𝔻𝔼𝔽𝔾𝕀𝕁𝕂𝕃𝕄ℕ𝕆𝕊|
 𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛|
 𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘|
+ℰℱ|
 ----------|
 
 -}