Disabled many less useful symbols

roelvandijk · May 27, 2011 · 5ae3e75 · 5ae3e75
1 parent 195d22f
commit 5ae3e75
Showing 1 changed file with 69 additions and 69 deletions.
diff --git a/haskell-unicode-input-method.el b/haskell-unicode-input-method.el
@@ -1,6 +1,6 @@
 ;; Haskell Unicode helper functions
 ;;
-;; Copyright © 2010—2011 Roel van Dijk
+;; Copyright 2010—2011 Roel van Dijk
 ;;
 ;; All rights reserved.
 ;;
@@ -136,62 +136,62 @@ packages (base-unicode-symbols and containers-unicode-symbols).
 
  ;; Arrows
  ("->"               ["→"])
- ("-->"              ["⟶"])
+ ;; ("-->"              ["⟶"])
  ("<-"               ["←"])
- ("<--"              ["⟵"])
- ("<->"              ["↔"])
- ("<-->"             ["⟷"])
+ ;; ("<--"              ["⟵"])
+ ;; ("<->"              ["↔"])
+ ;; ("<-->"             ["⟷"])
 
  ("=>"               ["⇒"])
- ("==>"              ["⟹"])
- ;;("<="               ["⇐"])
- ("<=="              ["⟸"])
- ("<=>"              ["⇔"])
- ("<==>"             ["⟺"])
+ ;; ("==>"              ["⟹"])
+ ;; ("<="               ["⇐"])
+ ;; ("<=="              ["⟸"])
+ ;; ("<=>"              ["⇔"])
+ ;; ("<==>"             ["⟺"])
 
- ("|->"              ["↦"])
- ("|-->"             ["⟼"])
- ("<-|"              ["↤"])
- ("<--|"             ["⟻"])
+ ;; ("|->"              ["↦"])
+ ;; ("|-->"             ["⟼"])
+ ;; ("<-|"              ["↤"])
+ ;; ("<--|"             ["⟻"])
 
- ("|=>"              ["⤇"])
- ("|==>"             ["⟾"])
- ("<=|"              ["⤆"])
- ("<==|"             ["⟽"])
+ ;; ("|=>"              ["⤇"])
+ ;; ("|==>"             ["⟾"])
+ ;; ("<=|"              ["⤆"])
+ ;; ("<==|"             ["⟽"])
 
  ("~>"               ["⇝"])
- ("~~>"              ["⟿"])
+ ;; ("~~>"              ["⟿"])
  ("<~"               ["⇜"])
- ("<~~"              ["⬳"])
+ ;; ("<~~"              ["⬳"])
 
- (">->"              ["↣"])
- ("<-<"              ["↢"])
- ("->>"              ["↠"])
- ("<<-"              ["↞"])
+ ;; (">->"              ["↣"])
+ ;; ("<-<"              ["↢"])
+ ;; ("->>"              ["↠"])
+ ;; ("<<-"              ["↞"])
 
- (">->>"             ["⤖"])
- ("<<-<"             ["⬻"])
+ ;; (">->>"             ["⤖"])
+ ;; ("<<-<"             ["⬻"])
 
- ("<|-"              ["⇽"])
- ("-|>"              ["⇾"])
- ("<|-|>"            ["⇿"])
+ ;; ("<|-"              ["⇽"])
+ ;; ("-|>"              ["⇾"])
+ ;; ("<|-|>"            ["⇿"])
 
- ("<-/-"             ["↚"])
- ("-/->"             ["↛"])
+ ;; ("<-/-"             ["↚"])
+ ;; ("-/->"             ["↛"])
 
- ("<-|-"             ["⇷"])
- ("-|->"             ["⇸"])
- ("<-|->"            ["⇹"])
+ ;; ("<-|-"             ["⇷"])
+ ;; ("-|->"             ["⇸"])
+ ;; ("<-|->"            ["⇹"])
 
- ("<-||-"            ["⇺"])
- ("-||->"            ["⇻"])
- ("<-||->"           ["⇼"])
+ ;; ("<-||-"            ["⇺"])
+ ;; ("-||->"            ["⇻"])
+ ;; ("<-||->"           ["⇼"])
 
- ("-o->"             ["⇴"])
- ("<-o-"             ["⬰"])
+ ;; ("-o->"             ["⇴"])
+ ;; ("<-o-"             ["⬰"])
 
  ;; Boolean operators
- ("not"              ["¬"])
+ ;; ("not"              ["¬"])
  ("&&"               ["∧"])
  ("||"               ["∨"])
 
@@ -204,13 +204,13 @@ packages (base-unicode-symbols and containers-unicode-symbols).
  ("/>"               ["≯"])
 
  ;; Arithmetic
- ;;(" / "              [" ÷ "])
+ ;; (" / "              [" ÷ "])
  (" * "              [" ⋅ "])
 
  ;; Containers / Collections
- ;;("++"               ["⧺"])
- ;;("+++"              ["⧻"])
- ("|||"              ["⫴"])
+ ;; ("++"               ["⧺"])
+ ;; ("+++"              ["⧻"])
+ ;; ("|||"              ["⫴"])
  ("empty"            ["∅"])
  ("elem"             ["∈"])
  ("notElem"          ["∉"])
@@ -231,39 +231,39 @@ packages (base-unicode-symbols and containers-unicode-symbols).
  ("><"               ["⋈"])
  ("mempty"           ["∅"])
  ("mappend"          ["⊕"])
- ;;("<*>"              ["⊛"])
+ ;; ("<*>"              ["⊛"])
  (" . "              [" ∘ "])
  ("undefined"        ["⊥"])
  (":="               ["≔"])
  ("=:"               ["≕"])
  ("=def"             ["≝"])
  ("=?"               ["≟"])
 
+ ;; Braces
+ ;; ("[|"               ["〚"])
+ ;; ("|]"               ["〛"])
+
  ;; Numeric subscripts
- ("_0 "              ["₀"])
- ("_1 "              ["₁"])
- ("_2 "              ["₂"])
- ("_3 "              ["₃"])
- ("_4 "              ["₄"])
- ("_5 "              ["₅"])
- ("_6 "              ["₆"])
- ("_7 "              ["₇"])
- ("_8 "              ["₈"])
- ("_9 "              ["₉"])
+ ;; ("_0 "              ["₀"])
+ ;; ("_1 "              ["₁"])
+ ;; ("_2 "              ["₂"])
+ ;; ("_3 "              ["₃"])
+ ;; ("_4 "              ["₄"])
+ ;; ("_5 "              ["₅"])
+ ;; ("_6 "              ["₆"])
+ ;; ("_7 "              ["₇"])
+ ;; ("_8 "              ["₈"])
+ ;; ("_9 "              ["₉"])
 
  ;; Numeric superscripts
- ("^0 "              ["⁰"])
- ("^1 "              ["¹"])
- ("^2 "              ["²"])
- ("^3 "              ["³"])
- ("^4 "              ["⁴"])
- ("^5 "              ["⁵"])
- ("^6 "              ["⁶"])
- ("^7 "              ["⁷"])
- ("^8 "              ["⁸"])
- ("^9 "              ["⁹"])
-
- ;; Braces
- ("[|"               ["〚"])
- ("|]"               ["〛"])
+ ;; ("^0 "              ["⁰"])
+ ;; ("^1 "              ["¹"])
+ ;; ("^2 "              ["²"])
+ ;; ("^3 "              ["³"])
+ ;; ("^4 "              ["⁴"])
+ ;; ("^5 "              ["⁵"])
+ ;; ("^6 "              ["⁶"])
+ ;; ("^7 "              ["⁷"])
+ ;; ("^8 "              ["⁸"])
+ ;; ("^9 "              ["⁹"])
 )