diff --git a/exp/general/binary.tex b/exp/general/binary.tex index 19ca80b..85820ea 100644 --- a/exp/general/binary.tex +++ b/exp/general/binary.tex @@ -9,7 +9,7 @@ \item[\vspace{\fill}] \end{enumerate} \end{multicols} -We further constrain the $\ppWcpFlag$, which belongs to the \isPreprocessing{}-perspective, to vanish outside of preprocessing rows: +We further constrain the $\ppWcpFlag$, which belongs to the $\isPreprocessing$-perspective, to vanish outside of preprocessing rows: \begin{enumerate}[resume] \item \If $\isPreprocessing_{i} = 0$ \Then $\ppWcpFlag_{i} = 0$ \item \If $\isPreprocessing_{i} = 1$ \Then $\ppWcpFlag_{i} \cdot (1 - \ppWcpFlag_{i}) = 0$