Clarify iterators.bidi/3.3

Fixes #292.
ericniebler · Mar 9, 2017 · 283fa47 · 283fa47
1 parent 6d2ff48
commit 283fa47
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/iterators.tex b/iterators.tex
@@ -1455,7 +1455,8 @@
 \begin{itemize}
 \item \tcode{\&\dcr{}a == \&a}.
 \item If \tcode{bool(a == b)}, then \tcode{bool(a\dcr{} == b)}.
-\item If \tcode{bool(a == b)}, then \tcode{bool((a\dcr{}, a) == \dcr{}b)}.
+\item If \tcode{bool(a == b)}, then after evaluating both \tcode{a\dcr} and \tcode{\dcr{}b},
+\tcode{bool(a == b)} still holds.
 \item If \tcode{a} is incrementable and \tcode{bool(a == b)}, then
       \tcode{bool(\dcr{}(++a) == b)}.
 \item If \tcode{bool(a == b)}, then \tcode{bool(++(\dcr{}a) == b)}.