diff --git a/Algebra.hs b/Algebra.hs
--- a/Algebra.hs
+++ b/Algebra.hs
@@ -2,7 +2,7 @@
 {-# LANGUAGE FlexibleInstances #-}
 
 module Algebra (Semigroup (..), Monoid (mempty), Group (..), Abelian, Idempotent,
-                (+), (-), (*), (/)) where
+                (+), (-), (*), (/), (×), commuteWith) where
 
 import Control.Category
 import Data.Functor
@@ -110,6 +110,9 @@
 
 (*) :: Semigroup (Product a) => a -> a -> a
 a * b = getProduct (Product a <> Product b)
+
+(×) :: Semigroup (Product a) => a -> a -> a
+a × b = getProduct (Product a <> Product b)
 
 (/) :: (Semigroup (Product a), Group (Product a)) => a -> a -> a
 a / b = getProduct (Product a <> invert (Product b))
diff --git a/alg.cabal b/alg.cabal
--- a/alg.cabal
+++ b/alg.cabal
@@ -1,5 +1,5 @@
 name:                alg
-version:             0.2.4.2
+version:             0.2.5.0
 synopsis:            Algebraic structures
 -- description:         
 license:             BSD3