diff --git a/pixton_completeness_counterexample_v2.txt b/pixton_completeness_counterexample_v2.txt
index 063d7d4..63a5f36 100644
--- a/pixton_completeness_counterexample_v2.txt
+++ b/pixton_completeness_counterexample_v2.txt
@@ -362,7 +362,7 @@ than ker q for at least one (g,n).
 
 So the setup is:
 
-    P_{g,n}  subseteq  ker q_{g,n}  subseteq  S_{g,n},
+    P_{g,n}  ⊆  ker q_{g,n}  ⊆  S_{g,n},
                              ^
                              this paper shows strict inclusion
                              at g = 10^60, n = 3*C(g,3).
@@ -486,7 +486,7 @@ Nonmembership Y not in P_{g,n} is an assertion in the formal
 strata algebra S_{g,n}; it is untouched by passing from A^* to
 H^*. The strict inclusion
 
-    P_{g,n}  subseteq  ker q^CH_{g,n}  subseteq  ker q^H_{g,n}
+    P_{g,n}  ⊆  ker q^CH_{g,n}  ⊆  ker q^H_{g,n}
 
 then gives the claimed statement. Passing from Chow vanishing to
 cohomological vanishing uses the second inclusion; it requires no