diff --git a/global_solvably_closed_galois_v2.txt b/global_solvably_closed_galois_v2.txt
index 6706ae7..2004261 100644
--- a/global_solvably_closed_galois_v2.txt
+++ b/global_solvably_closed_galois_v2.txt
@@ -360,7 +360,7 @@ in a finite extension K of Q_l, and let
     u_i = (u_{i1},...,u_{in}) in (E^x)^n,   1 <= i <= m,
 
 have algebraic-integer coordinates that are units in K. Suppose that
-for every a = (a_1,...,a_m) in Z^m \ {0}, the coordinates of
+for every a = (a_1,...,a_m) in Z^m minus {0}, the coordinates of
 u^a := prod_i u_i^{a_i} are multiplicatively independent modulo roots
 of unity. If m > n(n-1), then