diff --git a/Control/Arrow/Unicode.hs b/Control/Arrow/Unicode.hs
--- a/Control/Arrow/Unicode.hs
+++ b/Control/Arrow/Unicode.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}
 
 {-|
 Module     : Control.Arrow.Unicode
@@ -40,7 +40,7 @@
 
 U+29FB, TRIPLE PLUS
 -}
-(⧻) ∷ ArrowChoice α ⇒ α β γ → α β' γ' → α (Either β β') (Either γ γ')
+(⧻) ∷ ArrowChoice (⇝) ⇒ (α ⇝ β) → (α' ⇝ β') → (Either α α' ⇝ Either β β')
 (⧻) = (+++)
 
 {-|
@@ -48,5 +48,5 @@
 
 U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION
 -}
-(⫴) ∷ ArrowChoice α ⇒ α β δ → α γ δ → α (Either β γ) δ
+(⫴) ∷ ArrowChoice (⇝) ⇒ (α ⇝ δ) → (β ⇝ δ) → (Either α β ⇝ δ)
 (⫴) = (|||)
diff --git a/Control/Category/Unicode.hs b/Control/Category/Unicode.hs
--- a/Control/Category/Unicode.hs
+++ b/Control/Category/Unicode.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax, TypeOperators #-}
 
 {-|
 Module     : Control.Category.Unicode
@@ -35,7 +35,7 @@
 
 U+2218, RING OPERATOR
 -}
-(∘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ
+(∘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
 (∘) = (.)
 
 {-|
@@ -43,7 +43,7 @@
 
 U+22D9, VERY MUCH GREATER-THAN
 -}
-(⋙) ∷ Category cat ⇒ cat α β → cat β γ → cat α γ
+(⋙) ∷ Category (⇝) ⇒ (α ⇝ β) → (β ⇝ γ) → (α ⇝ γ)
 (⋙) = (>>>)
 
 {-|
@@ -51,5 +51,5 @@
 
 U+22D8, VERY MUCH LESS-THAN
 -}
-(⋘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ
+(⋘) ∷ Category (⇝) ⇒ (β ⇝ γ) → (α ⇝ β) → (α ⇝ γ)
 (⋘) = (<<<)
diff --git a/Data/Eq/Unicode.hs b/Data/Eq/Unicode.hs
--- a/Data/Eq/Unicode.hs
+++ b/Data/Eq/Unicode.hs
@@ -7,7 +7,7 @@
 Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
 -}
 
-module Data.Eq.Unicode ( (≡), (≢) ) where
+module Data.Eq.Unicode ( (≡), (≢), (≠) ) where
 
 
 -------------------------------------------------------------------------------
@@ -25,7 +25,7 @@
 
 infix  4 ≡
 infix  4 ≢
-
+infix  4 ≠
 
 -------------------------------------------------------------------------------
 -- Symbols
@@ -46,3 +46,11 @@
 -}
 (≢) ∷ Eq α ⇒ α → α → Bool
 (≢) = (/=)
+
+{-|
+(&#x2260;) = ('/=')
+
+U+2260, NOT EQUAL TO
+-}
+(≠) ∷ Eq α ⇒ α → α → Bool
+(≠) = (/=)
diff --git a/Prelude/Unicode.hs b/Prelude/Unicode.hs
--- a/Prelude/Unicode.hs
+++ b/Prelude/Unicode.hs
@@ -9,7 +9,7 @@
 
 module Prelude.Unicode
     ( (¬), (∧), (∨)
-    , (≡), (≢)
+    , (≡), (≢), (≠)
     , (≤), (≥), (≮), (≯)
     , π
     , (÷), (⋅)
@@ -31,7 +31,7 @@
 
 -- from base-unicode-symbols:
 import Data.Bool.Unicode     ( (∧), (∨), (¬) )
-import Data.Eq.Unicode       ( (≡), (≢) )
+import Data.Eq.Unicode       ( (≡), (≢), (≠) )
 import Data.Function.Unicode ( (∘) )
 import Data.List.Unicode     ( (⧺), (∈), (∉) )
 import Data.Ord.Unicode      ( (≤), (≥), (≮), (≯) )
diff --git a/base-unicode-symbols.cabal b/base-unicode-symbols.cabal
--- a/base-unicode-symbols.cabal
+++ b/base-unicode-symbols.cabal
@@ -1,5 +1,5 @@
 name:          base-unicode-symbols
-version:       0.1.3
+version:       0.1.4
 cabal-version: >=1.6
 build-type:    Simple
 stability:     provisional