[func.require] Use math mode for indices and non-C++ ellipses

Author: jwakely

source/utilities.tex

@@ -13094,42 +13094,42 @@
 
 \pnum
 \indexlibrary{invoke@\tcode{\placeholder{INVOKE}}}%
-Define \tcode{\placeholdernc{INVOKE}(f, t1, t2, ..., tN)} as follows:
+Define \tcode{\placeholdernc{INVOKE}(f, t$_1$, t$_2$, $\dotsc$, t$_N$)} as follows:
 
 \begin{itemize}
-\item \tcode{(t1.*f)(t2, ..., tN)} when \tcode{f} is a pointer to a
+\item \tcode{(t$_1$.*f)(t$_2$, $\dotsc$, t$_N$)} when \tcode{f} is a pointer to a
 member function of a class \tcode{T}
-and \tcode{is_base_of_v<T, decay_t<decltype(t1)>>} is \tcode{true};
+and \tcode{is_base_of_v<T, decay_t<decltype(t$_1$)>>} is \tcode{true};
 
-\item \tcode{(t1.get().*f)(t2, ..., tN)} when \tcode{f} is a pointer to a
+\item \tcode{(t$_1$.get().*f)(t$_2$, $\dotsc$, t$_N$)} when \tcode{f} is a pointer to a
 member function of a class \tcode{T}
-and \tcode{decay_t<decltype(t1)>} is a specialization of \tcode{reference_wrapper};
+and \tcode{decay_t<decltype(t$_1$)>} is a specialization of \tcode{reference_wrapper};
 
-\item \tcode{((*t1).*f)(t2, ..., tN)} when \tcode{f} is a pointer to a
+\item \tcode{((*t$_1$).*f)(t$_2$, $\dotsc$, t$_N$)} when \tcode{f} is a pointer to a
 member function of a class \tcode{T}
-and \tcode{t1} does not satisfy the previous two items;
+and \tcode{t$_1$} does not satisfy the previous two items;
 
-\item \tcode{t1.*f} when \tcode{N == 1} and \tcode{f} is a pointer to
+\item \tcode{t$_1$.*f} when \tcode{N == 1} and \tcode{f} is a pointer to
 data member of a class \tcode{T}
-and \tcode{is_base_of_v<T, decay_t<decltype(t1)>>} is \tcode{true};
+and \tcode{is_base_of_v<T, decay_t<decltype(t$_1$)>>} is \tcode{true};
 
-\item \tcode{t1.get().*f} when \tcode{N == 1} and \tcode{f} is a pointer to
+\item \tcode{t$_1$.get().*f} when \tcode{N == 1} and \tcode{f} is a pointer to
 data member of a class \tcode{T}
-and \tcode{decay_t<decltype(t1)>} is a specialization of \tcode{reference_wrapper};
+and \tcode{decay_t<decltype(t$_1$)>} is a specialization of \tcode{reference_wrapper};
 
-\item \tcode{(*t1).*f} when \tcode{N == 1} and \tcode{f} is a pointer to
+\item \tcode{(*t$_1$).*f} when \tcode{N == 1} and \tcode{f} is a pointer to
 data member of a class \tcode{T}
-and \tcode{t1} does not satisfy the previous two items;
+and \tcode{t$_1$} does not satisfy the previous two items;
 
-\item \tcode{f(t1, t2, ..., tN)} in all other cases.
+\item \tcode{f(t$_1$, t$_2$, $\dotsc$, t$_N$)} in all other cases.
 \end{itemize}
 
 \pnum
 \indexlibrary{invoke@\tcode{\placeholder{INVOKE}}}%
-Define \tcode{\placeholdernc{INVOKE}<R>(f, t1, t2, ..., tN)} as
-\tcode{static_cast<void>(\placeholdernc{INVOKE}(f, t1, t2, ..., tN))}
+Define \tcode{\placeholdernc{INVOKE}<R>(f, t$_1$, t$_2$, $\dotsc$, t$_N$)} as
+\tcode{static_cast<void>(\placeholdernc{INVOKE}(f, t$_1$, t$_2$, $\dotsc$, t$_N$))}
 if \tcode{R} is \cv{}~\tcode{void}, otherwise
-\tcode{\placeholdernc{INVOKE}(f, t1, t2, ..., tN)} implicitly converted
+\tcode{\placeholdernc{INVOKE}(f, t$_1$, t$_2$, $\dotsc$, t$_N$)} implicitly converted
 to \tcode{R}.
 
 \pnum