fixup req table

Co-authored-by: Johel Ernesto Guerrero Peña <[email protected]>

Author: jensmaurer

source/lib-intro.tex

@@ -1916,13 +1916,13 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-typename X::const_pointer}
+typename X::const_pointer
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \mandates
-\tcode{X::pointer} is convertible to \tcode{X::const_pointer}
+\tcode{X::pointer} is convertible to \tcode{X::const_pointer}.
 
 \pnum
 \remarks
@@ -1972,7 +1972,7 @@
 \begin{itemdescr}
 \pnum
 \result
-Identical to \tcode{T}
+Identical to \tcode{T}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -1982,11 +1982,12 @@
 \begin{itemdescr}
 \pnum
 \result
-A unsigned integer type
+An unsigned integer type
 that can represent the size of the largest object in the allocation model.
 
 \pnum
 \remarks
+Default:
 \tcode{make_unsigned_t<X::difference_type>}
 \end{itemdescr}
 
@@ -2002,6 +2003,7 @@
 
 \pnum
 \remarks
+Default:
 \tcode{pointer_traits<X::pointer>::difference_type}
 \end{itemdescr}
 
@@ -2031,7 +2033,7 @@
 
 \pnum
 \begin{note}
-The member class template \tcode{rebind} in the table above is
+The member class template \tcode{rebind} of \tcode{X} is
 effectively a typedef template.
 In general, if
 the name \tcode{Allocator} is bound to \tcode{SomeAllocator<T>}, then
@@ -2073,7 +2075,7 @@
 \begin{itemdescr}
 \pnum
 \result
-type of \tcode{T::m}
+Type of \tcode{T::m}.
 
 \pnum
 \expects
@@ -2091,7 +2093,7 @@
 \begin{itemdescr}
 \pnum
 \result
-type of \tcode{T::m}
+Type of \tcode{T::m}.
 
 \pnum
 \expects
@@ -2103,7 +2105,7 @@
 \end{itemdescr}
 
 \begin{itemdecl}
-static_cast<X::pointer>(w)}
+static_cast<X::pointer>(w)
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -2208,7 +2210,7 @@
 \begin{itemdescr}
 \pnum
 \result
-allocation_result<X::pointer>
+tcode{allocation_result<X::pointer>}
 
 \pnum
 \returns
@@ -2317,7 +2319,7 @@
 
 \pnum
 \returns
-\tcode{!(a1 == a2)}
+\tcode{!(a1 == a2)}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -2331,7 +2333,7 @@
 
 \pnum
 \returns
-\tcode{a == Y::rebind<T>::other(b)}
+\tcode{a == Y::rebind<T>::other(b)}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -2345,7 +2347,7 @@
 
 \pnum
 \returns
-\tcode{!(a == b)}
+\tcode{!(a == b)}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -2370,7 +2372,7 @@
 \begin{itemdescr}
 \pnum
 \ensures
-\tcode{Y(u) == b} and \tcode{u == X(b)}
+\tcode{Y(u) == b} and \tcode{u == X(b)}.
 
 \pnum
 \throws
@@ -2422,7 +2424,7 @@
 \pnum
 \remarks
 Default:
-\tcode{construct_at(c,~std::forward<Args>(args)...)}
+\tcode{construct_at(c, std::forward<Args>(args)...)}
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -2539,7 +2541,7 @@
 \pnum
 \returns
 \tcode{true_type} only if the expression \tcode{a1 == a2} is guaranteed
-to be \tcode{true} for any two (possibly \keyword{const}) values
+to be \tcode{true} for any two (possibly \tcode{const}) values
 \tcode{a1}, \tcode{a2} of type \tcode{X}.
 
 \pnum