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