diff --git a/src/Algebra/Solver/Ring/Expr.idr b/src/Algebra/Solver/Ring/Expr.idr
index f9abe18..5ddb512 100644
--- a/src/Algebra/Solver/Ring/Expr.idr
+++ b/src/Algebra/Solver/Ring/Expr.idr
@@ -109,11 +109,11 @@ var x = Var x %search
 --          Syntax
 --------------------------------------------------------------------------------
 
-infixl 8 .+., .+, +.
+export infixl 8 .+., .+, +.
 
-infixl 8 .-., .-, -.
+export infixl 8 .-., .-, -.
 
-infixl 9 .*., .*, *.
+export infixl 9 .*., .*, *.
 
 ||| Addition of variables. This is an alias for
 ||| `var x + var y`.
diff --git a/src/Algebra/Solver/Semiring/Expr.idr b/src/Algebra/Solver/Semiring/Expr.idr
index 015db38..d5f2803 100644
--- a/src/Algebra/Solver/Semiring/Expr.idr
+++ b/src/Algebra/Solver/Semiring/Expr.idr
@@ -95,9 +95,9 @@ var x = Var x %search
 --          Syntax
 --------------------------------------------------------------------------------
 
-infixl 8 .+., .+, +.
+export infixl 8 .+., .+, +.
 
-infixl 9 .*., .*, *.
+export infixl 9 .*., .*, *.
 
 ||| Addition of variables. This is an alias for
 ||| `var x + var y`.
diff --git a/src/Data/Prim/Integer/Extra.idr b/src/Data/Prim/Integer/Extra.idr
index 2d0b1ea..be22ce8 100644
--- a/src/Data/Prim/Integer/Extra.idr
+++ b/src/Data/Prim/Integer/Extra.idr
@@ -7,10 +7,10 @@ import Syntax.PreorderReasoning
 
 %default total
 
-infixl 0  <>
-prefix 1  |>
-infix  1  ..., ..=, =.., =.=
-infix  1  ~.., ..~, ~.~
+export infixl 0  <>
+export prefix 1  |>
+export infix  1  ..., ..=, =.., =.=
+export infix  1  ~.., ..~, ~.~
 
 --------------------------------------------------------------------------------
 --          Utilities