michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #567 from Altariarite/Fonts.lagda.md

Browse source 
Add missing symbols in Fonts.lagda.md
This commit is contained in:
Philip Wadler 2021-06-23 17:49:59 +01:00 • committed by GitHub
commit 6b4140634f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/plfa/backmatter/Fonts.lagda.md
View file

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