1
0
Fork 0
mirror of synced 2024-05-19 03:53:30 +12:00

Added U+2237 Propotion (closes #1219)

This commit is contained in:
Nikita Prokopov 2021-04-18 01:42:58 +02:00
parent f7c77bff84
commit 7c879970f7
2 changed files with 56 additions and 0 deletions

View file

@ -13,6 +13,7 @@ Unicode:
- Added U+220E End of Proof `∎` #1115
- Added U+FFFD Replacement Character `<60>` #1137, thanks @gjvnq
- Added U+EE00..U+EE05 Progress Bar `` #1182
- Added U+2237 Propotion `∷` #1219
Changed:

File diff suppressed because one or more lines are too long