Unify typesetting of ordinals.

source/classes.tex

@@ -191,7 +191,7 @@
 
 \item If \tcode{X} is a union type, the set $M(\mathtt{X})$ is
 the union of all $M(\mathtt{U}_i)$ and the set containing all $\mathtt{U}_i$,
-where each $\mathtt{U}_i$ is the type of the $i$th non-static data member
+where each $\mathtt{U}_i$ is the type of the $i^\text{th}$ non-static data member
 of \tcode{X}.
 
 \item If \tcode{X} is an array type with element type $\mathtt{X}_e$,

source/containers.tex

@@ -2713,7 +2713,7 @@
 \tcode{b.bucket_size(n)}
 &   \tcode{size_type}
 &   \requires \tcode{n} shall be in the range \tcode{[0, b.bucket_count())}.
-    Returns the number of elements in the $\texttt{n}^{\textrm{ th}}$ bucket.%
+    Returns the number of elements in the $\tcode{n}^\text{th}$ bucket.%
 &   \bigoh{\tcode{b.bucket_}\-\tcode{size(n)}}
 \\ \rowsep
 %

source/declarators.tex

@@ -1133,22 +1133,22 @@
 which is \tcode{sizeof(int)}$ \times 5 \times 7$.
 The result of the addition and indirection is
 an lvalue denoting
-the \tcode{i}\textsuperscript{th} array element of
+the $\tcode{i}^\text{th}$ array element of
 \tcode{x3d}
 (an array of five arrays of seven integers).
 If there is another subscript,
 the same argument applies again, so
 \tcode{x3d[i][j]} is
 an lvalue denoting
-the \tcode{j}\textsuperscript{th} array element of
-the \tcode{i}\textsuperscript{th} array element of
+the $\tcode{j}^\text{th}$ array element of
+the $\tcode{i}^\text{th}$ array element of
 \tcode{x3d}
 (an array of seven integers), and
 \tcode{x3d[i][j][k]} is
 an lvalue denoting
-the \tcode{k}\textsuperscript{th} array element of
-the \tcode{j}\textsuperscript{th} array element of
-the \tcode{i}\textsuperscript{th} array element of
+the $\tcode{k}^\text{th}$ array element of
+the $\tcode{j}^\text{th}$ array element of
+the $\tcode{i}^\text{th}$ array element of
 \tcode{x3d}
 (an integer).
 \end{example}

source/numerics.tex

@@ -1191,7 +1191,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-The complex power of base \tcode{x} raised to the \tcode{y}$^\text{th}$ power,
+The complex power of base \tcode{x} raised to the $\tcode{y}^\text{th}$ power,
 defined as
 \tcode{exp(y * log(x))}.
 The value returned for
@@ -3607,7 +3607,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{minstd_rand0}
  shall produce the value $1043618065$.
@@ -3622,7 +3622,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{minstd_rand}
  shall produce the value $399268537$.
@@ -3638,7 +3638,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{mt19937}
  shall produce the value $4123659995$.
@@ -3658,7 +3658,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{mt19937_64}
  shall produce the value $9981545732273789042$.
@@ -3673,7 +3673,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{ran\-lux24_base}
  shall produce the value
@@ -3689,7 +3689,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{ran\-lux48_base}
  shall produce the value
@@ -3704,7 +3704,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{ranlux24}
  shall produce the value
@@ -3719,7 +3719,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{ranlux48}
  shall produce the value
@@ -3734,7 +3734,7 @@
 
 \begin{itemdescr}
 \pnum\required
- The $10000^{\,\mathrm{th}}$ consecutive invocation
+ The $10000^\text{th}$ consecutive invocation
  of a default-constructed object
  of type \tcode{knuth_b}
  shall produce the value $1112339016$.

source/overloading.tex

@@ -1571,11 +1571,11 @@
 \textit{m}
 parameters is viable
 only if the
-\textit{(m+1)}-st
+$\textit{(m+1)}^\text{st}$
 parameter has a default
 argument\iref{dcl.fct.default}.\footnote{According to~\ref{dcl.fct.default},
 parameters following the
-\textit{(m+1)}-st
+$\textit{(m+1)}^\text{st}$
 parameter must also have default arguments.}
 For the purposes of overload
 resolution, the parameter list is truncated on the right, so

source/templates.tex

@@ -2686,21 +2686,21 @@
 where
 $N$ is the number of elements in the pack expansion parameters. Each
 $\mathtt{E}_i$ is generated by instantiating the pattern and
-replacing each pack expansion parameter with its $i^{\textrm{th}}$ element.
+replacing each pack expansion parameter with its $i^\text{th}$ element.
 Such an element, in the context of the instantiation, is interpreted as
 follows:
 
 \begin{itemize}
 \item
 if the pack is a template parameter pack, the element is a template
 parameter\iref{temp.param} of the corresponding kind (type or
-non-type) designating the $i^{\textrm{th}}$
+non-type) designating the $i^\text{th}$
 corresponding type or value template argument;
 
 \item
 if the pack is a function parameter pack, the element is an
 \grammarterm{id-expression}
-designating the $i^{\textrm{th}}$ function parameter
+designating the $i^\text{th}$ function parameter
 that resulted from instantiation of
 the function parameter pack declaration;
 otherwise
@@ -2709,7 +2709,7 @@
 if the pack is an \grammarterm{init-capture} pack,
 the element is an \grammarterm{id-expression}
 designating the variable introduced by
-the $i^{\textrm{th}}$ \grammarterm{init-capture}
+the $i^\text{th}$ \grammarterm{init-capture}
 that resulted from instantiation of
 the \grammarterm{init-capture} pack.
 \end{itemize}
@@ -2776,7 +2776,7 @@
 \placeholder{op} is the \grammarterm{fold-operator},
 $N$ is the number of elements in the pack expansion parameters,
 and each $\mathtt{E}_i$ is generated by instantiating the pattern
-and replacing each pack expansion parameter with its $i$th element.
+and replacing each pack expansion parameter with its $i^\text{th}$ element.
 For a binary fold-expression,
 $\mathtt{E}$ is generated
 by instantiating the \grammarterm{cast-expression}

source/utilities.tex

@@ -16418,7 +16418,7 @@
  If \tcode{T} is not an array type, or if it has rank less
  than or equal to \tcode{I}, or if \tcode{I} is 0 and \tcode{T}
  has type ``array of unknown bound of \tcode{U}'', then
- 0; otherwise, the bound\iref{dcl.array} of the \tcode{I}'th dimension of
+ 0; otherwise, the bound\iref{dcl.array} of the $\tcode{I}^\text{th}$ dimension of
 \tcode{T}, where indexing of \tcode{I} is zero-based \\
 \end{libreqtab2a}
 
@@ -23186,7 +23186,7 @@
 \end{codeblock}
 
 \pnum
-\tcode{month_weekday} represents the n$^\textrm{th}$ weekday of a month,
+\tcode{month_weekday} represents the $n^\text{th}$ weekday of a month,
 of an as yet unspecified year.
 To do this the \tcode{month_weekday} stores a \tcode{month} and a \tcode{weekday_indexed}.
 
@@ -24437,7 +24437,7 @@
 
 \pnum
 \tcode{year_month_weekday} represents a specific year, month,
-and n$^\textrm{th}$ weekday of the month.
+and $n^\text{th}$ weekday of the month.
 \tcode{year_month_weekday} is a field-based time point with a resolution of \tcode{days}.
 \begin{note}
 \tcode{year_month_weekday} supports \tcode{years}- and \tcode{months}-oriented arithmetic,