[unord.req] Use bullets for the list of denoting variables.

Author: Dawn Perchik

source/containers.tex

@@ -2251,36 +2251,44 @@
 \indextext{unordered associative containers!equivalent keys}%
 \indextext{requirements!container}%
 In \tref{HashRequirements}:
-\tcode{X} denotes an unordered associative container class,
-\tcode{a} denotes a value of type \tcode{X},
-\tcode{a2} denotes a value of a type with nodes compatible with type
-\tcode{X} (\tref{containers.node.compat}),
-\tcode{b} denotes a possibly const value of type \tcode{X},
-\tcode{a_uniq} denotes a value of type \tcode{X} when \tcode{X} supports unique keys,
-\tcode{a_eq} denotes a value of type \tcode{X} when \tcode{X} supports equivalent keys,
-\tcode{a_tran} denotes a possibly const value of type \tcode{X}
-when the \grammarterm{qualified-id} \tcode{X::hasher::transparent_key_equal}
-is valid and denotes a type\iref{temp.deduct},
-\tcode{i} and \tcode{j} denote input iterators that refer to \tcode{value_type},
-\tcode{[i, j)} denotes a valid range,
-\tcode{p} and \tcode{q2} denote valid constant iterators to \tcode{a},
-\tcode{q} and \tcode{q1} denote valid dereferenceable constant iterators to \tcode{a},
-\tcode{r} denotes a valid dereferenceable iterator to \tcode{a},
-\tcode{[q1, q2)} denotes a valid range in \tcode{a},
-\tcode{il} denotes a value of type \tcode{initializer_list<value_type>},
-\tcode{t} denotes a value of type \tcode{X::value_type},
-\tcode{k} denotes a value of type \tcode{key_type},
-\tcode{hf} denotes a possibly const value of type \tcode{hasher},
-\tcode{eq} denotes a possibly const value of type \tcode{key_equal},
-\tcode{ke} is a value such that
-(1) \tcode{eq(r1, ke) == eq(ke, r1)}
-with \tcode{r1} the key value of \tcode{e} and \tcode{e} in \tcode{a_tran},
-(2) \tcode{hf(r1) == hf(ke)} if \tcode{eq(r1, ke)} is \tcode{true}, and
-(3) \tcode{(eq(r1, ke) \&\& eq(r1, r2)) == eq(r2, ke)}
-where \tcode{r2} is the key of an element in \tcode{a_tran},
-\tcode{n} denotes a value of type \tcode{size_type},
-\tcode{z} denotes a value of type \tcode{float},
-and \tcode{nh} denotes a non-const rvalue of type \tcode{X::node_type}.
+\begin{itemize}
+\item \tcode{X} denotes an unordered associative container class,
+\item \tcode{a} denotes a value of type \tcode{X},
+\item \tcode{a2} denotes a value of a type with nodes compatible
+  with type \tcode{X} (\tref{containers.node.compat}),
+\item \tcode{b} denotes a possibly const value of type \tcode{X},
+\item \tcode{a_uniq} denotes a value of type \tcode{X}
+  when \tcode{X} supports unique keys,
+\item \tcode{a_eq} denotes a value of type \tcode{X}
+  when \tcode{X} supports equivalent keys,
+\item \tcode{a_tran} denotes a possibly const value of type \tcode{X}
+  when the \grammarterm{qualified-id} \tcode{X::hasher::transparent_key_equal}
+  is valid and denotes a type\iref{temp.deduct},
+\item \tcode{i} and \tcode{j} denote input iterators
+  that refer to \tcode{value_type},
+\item \tcode{[i, j)} denotes a valid range,
+\item \tcode{p} and \tcode{q2} denote valid constant iterators to \tcode{a},
+\item \tcode{q} and \tcode{q1} denote
+  valid dereferenceable constant iterators to \tcode{a},
+\item \tcode{r} denotes a valid dereferenceable iterator to \tcode{a},
+\item \tcode{[q1, q2)} denotes a valid range in \tcode{a},
+\item \tcode{il} denotes a value of type \tcode{initializer_list<value_type>},
+\item \tcode{t} denotes a value of type \tcode{X::value_type},
+\item \tcode{k} denotes a value of type \tcode{key_type},
+\item \tcode{hf} denotes a possibly const value of type \tcode{hasher},
+\item \tcode{eq} denotes a possibly const value of type \tcode{key_equal},
+\item \tcode{ke} is a value such that
+  \begin{itemize}
+  \item \tcode{eq(r1, ke) == eq(ke, r1)} with
+    \tcode{r1} the key value of \tcode{e} and \tcode{e} in \tcode{a_tran},
+  \item \tcode{hf(r1) == hf(ke)} if \tcode{eq(r1, ke)} is \tcode{true}, and
+  \item \tcode{(eq(r1, ke) \&\& eq(r1, r2)) == eq(r2, ke)}
+  \end{itemize}
+  where \tcode{r2} is the key of an element in \tcode{a_tran},
+\item \tcode{n} denotes a value of type \tcode{size_type},
+\item \tcode{z} denotes a value of type \tcode{float}, and
+\item \tcode{nh} denotes a non-const rvalue of type \tcode{X::node_type}.
+\end{itemize}
 
 % Local command to index names as members of all unordered containers.
 \newcommand{\indexunordmem}[1]{%