diff 2d5618e..b34550f kadison_kaplansky_projection_counter_v2.txt
diff --git a/kadison_kaplansky_projection_counter_v2.txt b/kadison_kaplansky_projection_counter_v2.txt
index 06e8610..0a1c914 100644
--- a/kadison_kaplansky_projection_counter_v2.txt
+++ b/kadison_kaplansky_projection_counter_v2.txt
@@ -1825,7 +1825,7 @@ Define the ASSIGNED DOMAIN of Q by
D_Q = V(Q) minus (union over earlier copies R < Q of V(R)).
-These are pairwise disjoint, and V(Q) \ D_Q is contained in
+These are pairwise disjoint, and V(Q) ∖ D_Q is contained in
B(Q).
Delete from X every edge of Q whose two endpoints both lie in