Update for changes to Leo logic

recce.ltx

@@ -790,12 +790,15 @@ where $\mymathop{Predict}(\Vdr{d})$
 is the set of dotted rules
 \begin{equation*}
 \left\{
-\Bigl[ \Vsym{L} \de \mydot \Vstr{rh} \Bigr] \middle|
-    \begin{array}{l}
-    [ \Vsym{L} \de \Vstr{rh} ] \in \Crules \\
-     \land \; \Vsym{P} = \Postdot{\Vdr{d}} \\
-     \land \; ( \exists \: \Vstr{z} \mid \Vsym{P} \destar \Vsym{L} \cat \Vstr{z})
-    \end{array}
+\begin{aligned}
+& \Bigl[ \bigl[ \Vsym{L} \de \mydot \Vstr{rh} \bigr],
+\Vloc{current}
+\Bigr]
+\quad \text{such that} \\
+& \qquad \bigl[ \Vsym{L} \de \Vstr{rh} \bigr] \in \Crules  \\
+& \qquad \land \bigl( \exists \, \Vstr{z} \mid
+\Postdot{\Vdr{d}} \destar \Vsym{L} \cat \Vstr{z} \bigr)
+\end{aligned}
 \right\}
 \end{equation*}
 A prediction operation can add several Earley items