diff --git a/src/Symantic/Base/ADT.hs b/src/Symantic/Base/ADT.hs
--- a/src/Symantic/Base/ADT.hs
+++ b/src/Symantic/Base/ADT.hs
@@ -6,7 +6,7 @@
 {-# LANGUAGE PolyKinds #-}
 {-# LANGUAGE UndecidableInstances #-}
 -- | EOT (Either of Tuples) to/from ADT (Algebraic Data Type).
--- to produce or consume custom ADT with @('<:>')@ and ('<+>')@.
+-- to produce or consume custom ADT with @('<:>')@ and @('<+>')@.
 --
 -- This is like what is done in @generic-sop@:
 -- https://hackage.haskell.org/package/generics-sop-0.5.1.0/docs/src/Generics.SOP.GGP.html#gSumFrom
diff --git a/src/Symantic/Base/Algebrable.hs b/src/Symantic/Base/Algebrable.hs
--- a/src/Symantic/Base/Algebrable.hs
+++ b/src/Symantic/Base/Algebrable.hs
@@ -11,8 +11,8 @@
 import Symantic.Base.Composable
 
 -- | @('adt' @@SomeADT some_expr)@
--- wrap/unwrap @(some_expr)@ input/output value
--- to/from the Algebraic Data Type @(SomeADT)@.
+-- wrap\/unwrap @(some_expr)@ input\/output value
+-- to\/from the Algebraic Data Type @(SomeADT)@.
 -- @(SomeADT)@ must have a 'Generic' instance
 -- (using the @DeriveGeneric@ language extension to GHC).
 adt ::
diff --git a/symantic-base.cabal b/symantic-base.cabal
--- a/symantic-base.cabal
+++ b/symantic-base.cabal
@@ -2,7 +2,7 @@
 -- PVP:  +-+------- breaking API changes
 --       | | +----- non-breaking API additions
 --       | | | +--- code changes with no API change
-version: 0.0.1.20200708
+version: 0.0.2.20200708
 category: Data Structures
 synopsis: Basic symantics for writing Embedded Domain-Specific Languages (EDSL).
 description: A collection of basic tagless-final combinators.