From d6ffaa44f7d44d9b042b09a5696b3100d4eb98e3 Mon Sep 17 00:00:00 2001
From: Nikita Prokopov <niki@tonsky.me>
Date: Sun, 11 Oct 2020 22:55:26 +0200
Subject: [PATCH] =?UTF-8?q?Added=20U+220E=20End=20of=20Proof=20`=E2=88=8E`?=
 =?UTF-8?q?=20(closes=20#1115)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 CHANGELOG.md    | 13 +++++++++++--
 FiraCode.glyphs | 37 +++++++++++++++++++++++++++++++++++++
 2 files changed, 48 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index be021f9..24e977e 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -4,11 +4,22 @@ All notable changes to this project will be documented in this file.
 
 ### 6.0
 
+Unicode:
+
 - Fixed height of `∑` U+2211 N-ARY SUMMATION #1083
 - Added U+2241..U+224B `≁ ≂ ≃ ≄ ≅ ≆ ≇ ≉ ≊ ≋` #1090
 - Added new enclosed characters from Unicode 13 U+0229C `⊜`, U+1F10D `🄍`, U+1F10E `🄎`, U+1F10F `🄏`, U+1F16D `🅭`, U+1F16E `🅮`, U+1F16F `🅯`, U+1F1AD `🆭` #1070
 - Redrew U+27F0..U+27FF Supplemental Arrows-A to be strict monospace `⟲⟳⟴⟵⟶⟷⟸⟹⟺⟻⟼⟽⟾⟿` #1109 #1123
+- Added U+220E End of Proof `∎` #1115
+
+Removed:
+
 - C-style compound assignment `>>=` `<<=` `||=` `|=` are not combined with equal sign by default. Old behavior is moved into `ss09` #974
+- Restored short `|` by default, long one moved to `cv30` #843
+- Moved `.-` into `cv25` #860 #1103
+
+Added (variants):
+
 - Alternative `a` `cv01` #949
 - Alternative `g` `cv02` #886
 - Alternative `i` `cv03`-`cv06`
@@ -25,13 +36,11 @@ All notable changes to this project will be documented in this file.
 - `=<` as less than or equal with horizontal bar `cv22` #34
 - `>=` with a horizontal bar `cv23`
 - `/=` as not equals `cv24` #125
-- Moved `.-` into `cv25` #860 #1103
 - Added `:-` to `cv26` #790
 - Returned `[]` as `cv27`
 - Returned `{. .}` as `cv28` #875 #635 #409 #279 #264 #214
 - Alternative `{}` `cv29`
 - Returned full ligatures for `Fl` `Tl` `fi` `fj` `fl` `ft` as `ss10`
-- Restored short `|` by default, long one moved to `cv30` #843
 
 #### 5.2 (June 12, 2020)
 
diff --git a/FiraCode.glyphs b/FiraCode.glyphs
index d253c51..0559154 100644
--- a/FiraCode.glyphs
+++ b/FiraCode.glyphs
@@ -77391,6 +77391,43 @@ width = 1200;
 unicode = 220A;
 },
 {
+glyphname = endofproof;
+lastChange = "2020-10-11 20:48:59 +0000";
+layers = (
+{
+layerId = "B67F0F2D-EC95-4CB8-966E-23AE86958A69";
+paths = (
+{
+closed = 1;
+nodes = (
+"300 0 LINE",
+"900 0 LINE",
+"900 1050 LINE",
+"300 1050 LINE"
+);
+}
+);
+width = 1200;
+},
+{
+layerId = "4B7A3BAF-EAD8-4024-9BEA-BB1DE86CFCFA";
+paths = (
+{
+closed = 1;
+nodes = (
+"300 0 LINE",
+"900 0 LINE",
+"900 1062 LINE",
+"300 1062 LINE"
+);
+}
+);
+width = 1200;
+}
+);
+unicode = 220E;
+},
+{
 glyphname = equalsinferior;
 lastChange = "2020-04-05 22:00:31 +0000";
 layers = (