diff --git a/Control/Arrow/Unicode.hs b/Control/Arrow/Unicode.hs
new file mode 100644
--- /dev/null
+++ b/Control/Arrow/Unicode.hs
@@ -0,0 +1,52 @@
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
+
+{-|
+Module     : Control.Arrow.Unicode
+Copyright  : (c) 2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
+module Control.Arrow.Unicode ( (⋙), (⋘), (⧻), (⫴) ) where
+
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
+import Control.Arrow ( ArrowChoice, (+++), (|||) )
+import Data.Either   ( Either )
+
+-- from base-unicode-symbols
+import Control.Category.Unicode ( (⋙), (⋘) )
+
+
+-------------------------------------------------------------------------------
+-- Fixities
+-------------------------------------------------------------------------------
+
+infixr 2 ⧻
+infixr 2 ⫴
+
+
+-------------------------------------------------------------------------------
+-- Symbols
+-------------------------------------------------------------------------------
+
+
+{-|
+(&#x29FB;) = ('+++')
+
+U+29FB, TRIPLE PLUS
+-}
+(⧻) ∷ ArrowChoice α ⇒ α β γ → α β' γ' → α (Either β β') (Either γ γ')
+(⧻) = (+++)
+
+{-|
+(&#x2AF4;) = ('|||')
+
+U+2AF4, TRIPLE VERTICAL BAR BINARY RELATION
+-}
+(⫴) ∷ ArrowChoice α ⇒ α β δ → α γ δ → α (Either β γ) δ
+(⫴) = (|||)
diff --git a/Control/Category/Unicode.hs b/Control/Category/Unicode.hs
--- a/Control/Category/Unicode.hs
+++ b/Control/Category/Unicode.hs
@@ -7,14 +7,15 @@
 Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
 -}
 
-module Control.Category.Unicode ( (∘) ) where
+module Control.Category.Unicode ( (∘), (⋙), (⋘) ) where
 
+
 -------------------------------------------------------------------------------
 -- Imports
 -------------------------------------------------------------------------------
 
 -- from base:
-import Control.Category ( Category, (.) )
+import Control.Category ( Category, (.), (>>>), (<<<) )
 
 
 -------------------------------------------------------------------------------
@@ -22,6 +23,7 @@
 -------------------------------------------------------------------------------
 
 infixr 9 ∘
+infixr 1 ⋙, ⋘
 
 
 -------------------------------------------------------------------------------
@@ -36,3 +38,18 @@
 (∘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ
 (∘) = (.)
 
+{-|
+(&#x22D9;) = ('>>>')
+
+U+22D9, VERY MUCH GREATER-THAN
+-}
+(⋙) ∷ Category cat ⇒ cat α β → cat β γ → cat α γ
+(⋙) = (>>>)
+
+{-|
+(&#x22D8;) = ('<<<')
+
+U+22D8, VERY MUCH LESS-THAN
+-}
+(⋘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ
+(⋘) = (<<<)
diff --git a/Control/Monad/Unicode.hs b/Control/Monad/Unicode.hs
new file mode 100644
--- /dev/null
+++ b/Control/Monad/Unicode.hs
@@ -0,0 +1,56 @@
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
+
+{-|
+Module     : Control.Monad.Unicode
+Copyright  : (c) 2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
+module Control.Monad.Unicode ( (≫=), (≫), (=≪) ) where
+
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
+import Control.Monad ( Monad, (>>=), (>>), (=<<) )
+
+
+-------------------------------------------------------------------------------
+-- Fixities
+-------------------------------------------------------------------------------
+
+infixl 1 ≫=
+infixl 1 ≫
+infixr 1 =≪
+
+
+-------------------------------------------------------------------------------
+-- Symbols
+-------------------------------------------------------------------------------
+
+{-|
+(&#x226B;=) = ('>>=')
+
+(U+226B, MUCH GREATER-THAN) + (U+3D, EQUALS SIGN)
+-}
+(≫=) ∷ Monad m ⇒ m α → (α → m β) → m β
+(≫=) = (>>=)
+
+{-|
+(&#x226B;) = ('>>')
+
+U+226B, MUCH GREATER-THAN
+-}
+(≫) ∷ Monad m ⇒ m α → m β → m β
+(≫) = (>>)
+
+{-|
+(=&#x226A;) = ('=<<')
+
+(U+3D, EQUALS SIGN) + (U+226A, MUCH LESS-THAN)
+-}
+(=≪) ∷ Monad m ⇒ (α → m β) → m α → m β
+(=≪) = (=<<)
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.2.1
+version:       0.1.3
 cabal-version: >=1.6
 build-type:    Simple
 stability:     provisional
@@ -9,6 +9,7 @@
 license:       BSD3
 license-file:  LICENSE
 category:
+homepage:      http://haskell.org/haskellwiki/Unicode-symbols
 synopsis:      Unicode alternatives for common functions and operators
 description:
   This package defines new symbols for a number of functions and
@@ -45,7 +46,9 @@
 
 library
   exposed-modules: Control.Applicative.Unicode
+                 , Control.Arrow.Unicode
                  , Control.Category.Unicode
+                 , Control.Monad.Unicode
                  , Data.Bool.Unicode
                  , Data.Eq.Unicode
                  , Data.Foldable.Unicode