updates to darais input

davdar · Apr 20, 2016 · e7a652d · e7a652d
1 parent 61b2b53
commit e7a652d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/UnicodeGen.hs b/UnicodeGen.hs
@@ -455,6 +455,7 @@ codes =
   , code "⁂" "***"
   , code "∫" "int"
   , code "¢" "cent"
+  , code "⧂" "nip"
 
   -- Logic
   , lcode "∈" "in" "\\in"

diff --git a/unicode.el b/unicode.el
@@ -297,6 +297,7 @@
  ("\\***" ["⁂"])
  ("\\int" ["∫"])
  ("\\cent" ["¢"])
+ ("\\nip" ["⧂"])
  ("\\in" ["∈"])
  ("\\in." ["⋵"])
  ("\\in|" ["⋳"])

diff --git a/unicode.vim b/unicode.vim
@@ -289,6 +289,7 @@ noremap! \ddag ‡
 noremap! \*** ⁂
 noremap! \int ∫
 noremap! \cent ¢
+noremap! \nip ⧂
 noremap! \in ∈
 noremap! \in. ⋵
 noremap! \in\| ⋳