diff --git a/src/LazySets.jl b/src/LazySets.jl
index 6f83324ff2..ae572908aa 100644
--- a/src/LazySets.jl
+++ b/src/LazySets.jl
@@ -11,6 +11,7 @@ using Random: AbstractRNG, GLOBAL_RNG, SamplerType, shuffle
 import InteractiveUtils: subtypes
 
 export Approximations
+export ×
 
 # ===================
 # Auxiliary functions