diff --git a/tracial_property_gamma_v2.txt b/tracial_property_gamma_v2.txt
index 1612c6a..869544f 100644
--- a/tracial_property_gamma_v2.txt
+++ b/tracial_property_gamma_v2.txt
@@ -1909,7 +1909,7 @@ and P within a in sup-norm:
 
 Independent of x, tau, and the two projections.
 
-Choose for each j a polynomial P_j with ||f_j - P_j||_infty <=
+Choose for each j a polynomial P_j with ||f_j - P_j||_infinity <=
 delta / (16 m), and set
 
     C := max{1, C_{P_1}, ..., C_{P_m}},