From eb55b46db6f491c4143a5204074edbe0e2e4fe86 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Tue, 23 Sep 2025 16:56:52 +0900
Subject: [PATCH 1/2] more dir locals for company-coq

---
 .dir-locals.el | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.dir-locals.el b/.dir-locals.el
index ccb7d45da7..ee5e252ca0 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -10,6 +10,11 @@
     ("set0" . 8709) ;; ∅ U+2205
     ("`<`" . 8842) ;; ⊊ U+228A
     ("`<=`" . 8838) ;; ⊆ U+2286
+    ("~`" . ?¬) ;; ¬ U+00AC
+    ("`+`" . ?⊕) ;; ⊕ U+2295
+    ("`*`" . ?×) ;; × U+00D7
+    ("\\in" . ?∈) ;; ∈ U+2208
+    ("\\notin" . ?∉) ;; ∉ U+2209
     ("^\\+" . ?⁺) ;; ⁺ U+207A
     ("^\\-" . ?⁻) ;; ⁻ U+207B
 ))))

From bc169967e3967b6938cd51c532f8c4d01b06c4a7 Mon Sep 17 00:00:00 2001
From: Reynald Affeldt <reynald.affeldt@aist.go.jp>
Date: Fri, 7 Nov 2025 11:05:59 +0900
Subject: [PATCH 2/2] fix

---
 .dir-locals.el | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.dir-locals.el b/.dir-locals.el
index ee5e252ca0..f3c9349cbb 100644
--- a/.dir-locals.el
+++ b/.dir-locals.el
@@ -10,8 +10,6 @@
     ("set0" . 8709) ;; ∅ U+2205
     ("`<`" . 8842) ;; ⊊ U+228A
     ("`<=`" . 8838) ;; ⊆ U+2286
-    ("~`" . ?¬) ;; ¬ U+00AC
-    ("`+`" . ?⊕) ;; ⊕ U+2295
     ("`*`" . ?×) ;; × U+00D7
     ("\\in" . ?∈) ;; ∈ U+2208
     ("\\notin" . ?∉) ;; ∉ U+2209