Skip to content

Commit 1b4da01

Browse files
jensmaurerzygoloid
authored andcommitted
[associative.reqmts] Turn emphasis into a note.
1 parent 1a9fd49 commit 1b4da01

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

source/containers.tex

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1511,11 +1511,7 @@
15111511

15121512
\pnum
15131513
The phrase ``equivalence of keys'' means the equivalence relation imposed by the
1514-
comparison and
1515-
\textit{not}
1516-
the
1517-
\tcode{operator==}
1518-
on keys.
1514+
comparison object.
15191515
That is, two keys
15201516
\tcode{k1}
15211517
and
@@ -1524,6 +1520,9 @@
15241520
comparison object
15251521
\tcode{comp},
15261522
\tcode{comp(k1, k2) == false \&\& comp(k2, k1) == false}.
1523+
\begin{note}
1524+
This is not necessarily the same as the result of \tcode{k1 == k2}.
1525+
\end{note}
15271526
For any two keys
15281527
\tcode{k1}
15291528
and

0 commit comments

Comments
 (0)