diff --git a/pixton_completeness_counterexample_v2.txt b/pixton_completeness_counterexample_v2.txt
index d33329a..f119aad 100644
--- a/pixton_completeness_counterexample_v2.txt
+++ b/pixton_completeness_counterexample_v2.txt
@@ -1117,7 +1117,7 @@ For each x in {1,...,m} in a fixed ordering, let L_x be the
 pullback of psi_x from the space defined by the labels 1,...,x:
 
     L_x = psi_x  -  sum_{T contains x, |T| >= 2,
-                         T\{x} subset {x+1,...,m}} D_T.
+                         T minus {x} subset {x+1,...,m}} D_T.
 
 For j >= 1: