diff --git a/examples/t0.hs b/examples/t0.hs
--- a/examples/t0.hs
+++ b/examples/t0.hs
@@ -1,5 +1,8 @@
 {-# LANGUAGE TemplateHaskell,QuasiQuotes #-}
 import Syntax.Slot
-a = [s| ı : ı : _ı : ı : _ı : _ı : _0 : [] |] 'a' 'b' 'c'
-main = print a
+main = do
+	print $ [s| ı : ı : _ı : ı : _ı : _ı : _0 : [] |] 'a' 'b' 'c'
+	print $ [s| ı + ı |] 5 3
+	print $ [s| _1 / _0 |] 4 8
+	print $ [s| ı + _ı |] 1
 
diff --git a/slot-lambda.cabal b/slot-lambda.cabal
--- a/slot-lambda.cabal
+++ b/slot-lambda.cabal
@@ -1,5 +1,5 @@
 name:                slot-lambda
-version:             0.1.0.2
+version:             0.1.0.3
 synopsis:            Write lambdas without naming the parameters.
 description:         Write lambdas without naming the parameters. Example:   
                      .
@@ -9,9 +9,17 @@
                      =  \"abbccca\"
                      @
                      .
-                     The unicode character @ı@(305) representing a \'slot\' can be input in vim with the digraph \'i.\' 
+                     The unicode character @ı@(U+0131, not the number @1@!) representing a \'slot\' can be input in vim with the digraph \'i.\' . @_ı@ stands for the same argument as the immediate left @ı@ does.
+                     Any suggestions of another unicode character in the 'Letter, Lowercase' category that 
+							.
+							1)no one would use as a variable name, and 
+							.
+							2)can be easily input in vim 
+							.
+							are welcome.
+                     You can also use @_0@,@_1@,@_2@,... to refer to the 1st, 2nd, 3rd, ... arguments.
                      .
-                     Just @import Syntax.Slot@ and use either @[s| ... |]@ or @[slot| ... |]@, which are the same thing given two names just for convenience.
+                     Just @import Syntax.Slot@ and use either @[s| ... |]@ or @[slot| ... |]@, which are the same thing given two names for convenience.
 license:             MIT
 license-file:        LICENSE
 homepage:            https://github.com/ducis/pa_slot