diff --git a/markov_type_superreflexivity_v2.txt b/markov_type_superreflexivity_v2.txt
index c6827f2..47dd166 100644
--- a/markov_type_superreflexivity_v2.txt
+++ b/markov_type_superreflexivity_v2.txt
@@ -513,7 +513,7 @@ line, one for each letter, such that
 
      h_s(y+1) = h_s(y) + 1,     h_{s^{-1}} is the inverse of h_s,
 
-     h_s( R \ A_{s^{-1}} ) = A_s,
+     h_s( R minus A_{s^{-1}} ) = A_s,
 
      | h_s(y) - y | < 2  for every real y,