more dir locals for company-coq

Author: affeldt-aist

.dir-locals.el

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