diff --git a/Control/Applicative/Unicode.hs b/Control/Applicative/Unicode.hs
--- a/Control/Applicative/Unicode.hs
+++ b/Control/Applicative/Unicode.hs
@@ -1,11 +1,21 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Control.Applicative.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Control.Applicative.Unicode ( (⊛), (∅) ) where
 
-import Control.Applicative ( Applicative, Alternative
-                           , (<*>), empty
-                           )
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
+import Control.Applicative ( Applicative, Alternative, (<*>), empty )
 
 
 -------------------------------------------------------------------------------
diff --git a/Control/Category/Unicode.hs b/Control/Category/Unicode.hs
--- a/Control/Category/Unicode.hs
+++ b/Control/Category/Unicode.hs
@@ -1,8 +1,19 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Control.Category.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Control.Category.Unicode ( (∘) ) where
 
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Control.Category ( Category, (.) )
 
 
@@ -22,6 +33,6 @@
 
 U+2218, RING OPERATOR
 -}
-(∘) ∷ Category cat ⇒ cat b c → cat a b → cat a c
+(∘) ∷ Category cat ⇒ cat β γ → cat α β → cat α γ
 (∘) = (.)
 
diff --git a/Data/Bool/Unicode.hs b/Data/Bool/Unicode.hs
--- a/Data/Bool/Unicode.hs
+++ b/Data/Bool/Unicode.hs
@@ -1,8 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Data.Bool.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Data.Bool.Unicode ( (∧), (∨), (¬) ) where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Bool ( Bool, (&&), (||), not )
 
 
diff --git a/Data/Eq/Unicode.hs b/Data/Eq/Unicode.hs
--- a/Data/Eq/Unicode.hs
+++ b/Data/Eq/Unicode.hs
@@ -1,8 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Data.Eq.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Data.Eq.Unicode ( (≡), (≢) ) where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Bool ( Bool )
 import Data.Eq   ( Eq, (==), (/=) )
 
diff --git a/Data/Foldable/Unicode.hs b/Data/Foldable/Unicode.hs
--- a/Data/Foldable/Unicode.hs
+++ b/Data/Foldable/Unicode.hs
@@ -1,8 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Data.Foldable.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Data.Foldable.Unicode where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Bool     ( Bool )
 import Data.Eq       ( Eq )
 import Data.Foldable ( Foldable, elem, notElem )
diff --git a/Data/Function/Unicode.hs b/Data/Function/Unicode.hs
--- a/Data/Function/Unicode.hs
+++ b/Data/Function/Unicode.hs
@@ -1,8 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Data.Function.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Data.Function.Unicode ( (∘) ) where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Function ( (.) )
 
 
@@ -22,5 +34,5 @@
 
 U+2218, RING OPERATOR
 -}
-(∘) ∷ (b → c) → (a → b) → (a → c)
+(∘) ∷ (β → γ) → (α → β) → (α → γ)
 (∘) = (.)
diff --git a/Data/List/Unicode.hs b/Data/List/Unicode.hs
--- a/Data/List/Unicode.hs
+++ b/Data/List/Unicode.hs
@@ -1,8 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Data.List.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Data.List.Unicode ( (⧺), (∈), (∉), (∪), (∩) ) where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Bool ( Bool )
 import Data.Eq   ( Eq )
 import Data.List ( (++), elem, notElem, union, intersect )
diff --git a/Data/Monoid/Unicode.hs b/Data/Monoid/Unicode.hs
--- a/Data/Monoid/Unicode.hs
+++ b/Data/Monoid/Unicode.hs
@@ -1,11 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
-module Data.Monoid.Unicode
-    ( (∅)
-    , (⊕)
-    ) where
+{-|
+Module     : Data.Monoid.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
 
+module Data.Monoid.Unicode ( (∅), (⊕) ) where
+
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Monoid ( Monoid, mempty, mappend )
 
 
diff --git a/Data/Ord/Unicode.hs b/Data/Ord/Unicode.hs
--- a/Data/Ord/Unicode.hs
+++ b/Data/Ord/Unicode.hs
@@ -1,8 +1,20 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Data.Ord.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Data.Ord.Unicode ( (≤), (≥), (≮), (≯) ) where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
 import Data.Bool ( Bool )
 import Data.Ord  ( Ord, (<=), (>=) )
 
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) 2009 Roel van Dijk
+Copyright (c) 2009–2010 Roel van Dijk
 
 All rights reserved.
 
diff --git a/Prelude/Unicode.hs b/Prelude/Unicode.hs
--- a/Prelude/Unicode.hs
+++ b/Prelude/Unicode.hs
@@ -1,6 +1,12 @@
-{-# LANGUAGE NoImplicitPrelude #-}
-{-# LANGUAGE UnicodeSyntax #-}
+{-# LANGUAGE NoImplicitPrelude, UnicodeSyntax #-}
 
+{-|
+Module     : Prelude.Unicode
+Copyright  : (c) 2009–2010 Roel van Dijk
+License    : BSD3 (see the file LICENSE)
+Maintainer : Roel van Dijk <vandijk.roel@gmail.com>
+-}
+
 module Prelude.Unicode
     ( (¬), (∧), (∨)
     , (≡), (≢)
@@ -13,15 +19,22 @@
     , (⊥)
     ) where
 
+
+-------------------------------------------------------------------------------
+-- Imports
+-------------------------------------------------------------------------------
+
+-- from base:
+import Prelude ( Num, Floating, Fractional
+               , (/), (*), pi, undefined
+               )
+
+-- from base-unicode-symbols:
 import Data.Bool.Unicode     ( (∧), (∨), (¬) )
 import Data.Eq.Unicode       ( (≡), (≢) )
 import Data.Function.Unicode ( (∘) )
 import Data.List.Unicode     ( (⧺), (∈), (∉) )
 import Data.Ord.Unicode      ( (≤), (≥), (≮), (≯) )
-
-import Prelude ( Num, Floating, Fractional
-               , (/), (*), pi, undefined
-               )
 
 
 -------------------------------------------------------------------------------
diff --git a/base-unicode-symbols.cabal b/base-unicode-symbols.cabal
--- a/base-unicode-symbols.cabal
+++ b/base-unicode-symbols.cabal
@@ -1,11 +1,11 @@
 name:          base-unicode-symbols
-version:       0.1.2
+version:       0.1.2.1
 cabal-version: >=1.6
 build-type:    Simple
-stability:     experimental
+stability:     provisional
 author:        Roel van Dijk <vandijk.roel@gmail.com>
 maintainer:    Roel van Dijk <vandijk.roel@gmail.com>
-copyright:     (c) 2009 Roel van Dijk <vandijk.roel@gmail.com>
+copyright:     (c) 2009–2010 Roel van Dijk <vandijk.roel@gmail.com>
 license:       BSD3
 license-file:  LICENSE
 category:
@@ -18,7 +18,26 @@
   information regarding their Unicode code point. They should be
   completely interchangeable with their definitions.
   .
+  For further Unicode goodness you can enable the @UnicodeSyntax@
+  language extension \[1\]. This extension enables Unicode characters
+  to be used to stand for certain ASCII character sequences. For GHC
+  6.12.1 it provides the following alternatives:
+  .
+  * &#x2237; (U+2237, PROPORTION) instead of @::@
+  .
+  * &#x21D2; (U+21D2, RIGHTWARDS DOUBLE ARROW) instead of @=>@
+  .
+  * &#x2200; (U+2200, FOR ALL) instead of @forall@
+  .
+  * &#x2192; (U+2192, RIGHTWARDS ARROW) instead of @->@
+  .
+  * &#x2190; (U+2190, LEFTWARDS ARROW) instead of @<-@
+  .
+  * &#x22EF; (U+22EF, MIDLINE HORIZONTAL ELLIPSIS) instead of @..@
+  .
   Original idea by P&#xE9;ter Divi&#xE1;nszky.
+  .
+  \[1\] <http://www.haskell.org/ghc/docs/latest/html/users_guide/syntax-extns.html#unicode-syntax>
 
 source-repository head
   type:     darcs