Work on Marpa theory book

jeffreykegler · Mar 22, 2016 · b61d53d · b61d53d
1 parent ccda6fc
commit b61d53d
Showing 1 changed file with 4 additions and 8 deletions.
diff --git a/recce.ltx b/recce.ltx
@@ -6257,7 +6257,7 @@ $]$,
 $= (\RHS{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}})[$
 \newline
 \hspace*{2em}
-  $\Dotix{\op{null-scan-op}{\Veim{bas}}} + \var{n} + 1$
+  $\Dotix{\Veim{bas}} + \var{n} + 1$
 \newline
 \hspace*{1em}
 $]$,
@@ -6273,7 +6273,7 @@ $]$,
 $= (\RHS{\Rule{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}})[$
 \newline
 \hspace*{2em}
-  $\Dotix{\op{null-scan-op}{\Veim{bas}}} + \var{n} + 1$
+  $\Dotix{\Veim{bas}} + \var{n} + 1$
 \newline
 \hspace*{1em}
 $]$,
@@ -6289,7 +6289,7 @@ $]$,
 $= (\RHS{\Rule{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}})[$
 \newline
 \hspace*{2em}
-  $\Dotix{\op{null-scan-op}{\Veim{bas}}} + \var{n} + 1$
+  $\Dotix{\Veim{bas}} + \var{n} + 1$
 \newline
 \hspace*{1em}
 $]$,
@@ -6301,13 +6301,9 @@ $]$,
 \Postdot{\iop{null-scan-op}{\Vincr{n}}{\Veim{bas}}}
 \newline
 \hspace*{1em}
-$= (\RHS{\Veim{bas}})[$
-\newline
-\hspace*{2em}
-  $\Dotix{\op{null-scan-op}{\Veim{bas}}} + \var{n} + 1$
+  $= (\RHS{\Veim{bas}})[ \Dotix{\Veim{bas}} + \var{n} + 1 ]$,
 \newline
 \hspace*{1em}
-$]$,
 \becuz{}
 \eqref{eq:iterated-null-scan-op-NEW-64},
 \eqref{eq:iterated-null-scan-op-NEW-78},