Added U+2237 Propotion ∷ (closes #1219)

tonsky · Apr 17, 2021 · 7c87997 · 7c87997
1 parent f7c77bf
commit 7c87997
Show file tree

Hide file tree

Showing 2 changed files with 56 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -13,6 +13,7 @@ Unicode:
 - Added U+220E End of Proof `∎` #1115
 - Added U+FFFD Replacement Character `�` #1137, thanks @gjvnq
 - Added U+EE00..U+EE05 Progress Bar `` #1182
+- Added U+2237 Propotion `∷` #1219
 
 Changed: