From 7fc1124c52549bea9cc5e963f284b26ec249364b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 15 Apr 2016 12:58:19 +0200
Subject: [PATCH] shuffle 0-width spaces around so they are distributed more
 evenly

---
 proofmode/notation.v | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/proofmode/notation.v b/proofmode/notation.v
index 028ea31d4..de5c763c9 100644
--- a/proofmode/notation.v
+++ b/proofmode/notation.v
@@ -7,9 +7,9 @@ Arguments Enil {_}.
 Arguments Esnoc {_} _%proof_scope _%string _%uPred_scope.
 
 Notation "​" := Enil (format "​") : proof_scope.
-Notation "​ Γ H : P" := (Esnoc Γ H P)
+Notation "Γ ​ H : P" := (Esnoc Γ H P)
   (at level 1, P at level 200,
-   left associativity, format "​ Γ H  :  P '//'") : proof_scope.
+   left associativity, format "Γ ​ H  :  P '//'") : proof_scope.
 Notation "Γ '--------------------------------------' □ Δ '--------------------------------------' ★ Q" :=
   (of_envs (Envs Γ Δ) ⊢ Q%I)
   (at level 1, Q at level 200, left associativity,
-- 
GitLab