diff --git a/global_solvably_closed_galois_v2.txt b/global_solvably_closed_galois_v2.txt
index da6b006..d331902 100644
--- a/global_solvably_closed_galois_v2.txt
+++ b/global_solvably_closed_galois_v2.txt
@@ -352,7 +352,7 @@ sum of any A distinct such monomials is at least c_r A^{1+1/r} for
 large A: the number of monomials of degree at most t is
 binomial(t+r,r) = O_r(t^r), so at least half of the A monomials have
 degree at least a positive multiple of A^{1/r}, and their evaluations
-have absolute value at most 1. The nonarchimedean triangle inequality
+have absolute value at most 1. The nonarchimedean triangle ineuality
 and (2.1), first for truncated series then by convergence, therefore
 give a constant c > 0 with