added new symbols in part2 and 3

2021-06-23 15:25:45 +01:00 · 2021-06-23 15:25:45 +01:00 · 724d8eb487
commit 724d8eb487
parent f9cafebe75
1 changed files with 4 additions and 0 deletions
--- 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.
 𝔸𝔹𝔻𝔼𝔽𝔾𝕀𝕁𝕂𝕃𝕄ℕ𝕆𝕊|
 𝕒𝕓𝕔𝕕𝕖𝕗𝕘𝕙𝕚𝕛|
 𝑎𝑏𝑐𝑑𝑒𝑓𝑔𝑖𝑗𝑘|
+ℰℱ|
 ----------|

 -}