diff --git a/src/Test/Invariant.hs b/src/Test/Invariant.hs
--- a/src/Test/Invariant.hs
+++ b/src/Test/Invariant.hs
@@ -2,12 +2,13 @@
 
 import Test.QuickCheck
 
-infix 1 <=>, &>
-infix 2 <~~, @~>, <?>
+infix 1 &>
+infix 2 <~~, @~>, <?>, <=>
 
 -- | Defines extensional equality.  This allows concise, point-free,
--- definitions of laws.  For example idempotence:
+-- definitions of laws.
 --
+-- > f(x) == g(x)
 -- > f <=> f . f
 (<=>) :: Eq b => (a -> b) -> (a -> b) -> a -> Bool
 (f <=> g) x = f x == g x
diff --git a/test-invariant.cabal b/test-invariant.cabal
--- a/test-invariant.cabal
+++ b/test-invariant.cabal
@@ -1,5 +1,5 @@
 name:                test-invariant
-version:             0.4.3.0
+version:             0.4.4.0
 synopsis:            Provide common invariants to be checked with QuickCheck
 
 description: test-invariant is a library for providing common invariants of