diff --git a/source/containers.tex b/source/containers.tex
index 1567c6fa41..e6603ddda1 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -3369,7 +3369,7 @@
 \requires \tcode{I < N}. The program is ill-formed if \tcode{I} is out of bounds.
 
 \pnum
-\returns A reference to the \tcode{I}th element of \tcode{a},
+\returns A reference to the $\tcode{I}^\text{th}$ element of \tcode{a},
 where indexing is zero-based.
 \end{itemdescr}
 
diff --git a/source/locales.tex b/source/locales.tex
index 2c2ad50064..44200bc489 100644
--- a/source/locales.tex
+++ b/source/locales.tex
@@ -4568,7 +4568,7 @@
 value
 \tcode{static_cast<part>(p.field[i])}
 determines the
-\tcode{i}th
+$\tcode{i}^\text{th}$
 component of the format\footnote{An array of
 \tcode{char},
 rather than an array of
diff --git a/source/numerics.tex b/source/numerics.tex
index 23db683d7e..f5c3fde244 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -9243,8 +9243,8 @@
 \pnum
 \begin{note}
 The difference between \tcode{exclusive_scan} and \tcode{inclusive_scan} is
-that \tcode{exclusive_scan} excludes the \tcode{i}th input element from the
-\tcode{i}th sum. If \tcode{binary_op} is not mathematically associative, the
+that \tcode{exclusive_scan} excludes the $i^\text{th}$ input element from the
+$i^\text{th}$ sum. If \tcode{binary_op} is not mathematically associative, the
 behavior of \tcode{exclusive_scan} may be nondeterministic.
 \end{note}
 \end{itemdescr}
@@ -9349,8 +9349,8 @@
 \pnum
 \begin{note}
 The difference between \tcode{exclusive_scan} and \tcode{inclusive_scan} is
-that \tcode{inclusive_scan} includes the \tcode{i}th input element in the
-\tcode{i}th sum.  If \tcode{binary_op} is not mathematically associative, the
+that \tcode{inclusive_scan} includes the $i^\text{th}$ input element in the
+$i^\text{th}$ sum.  If \tcode{binary_op} is not mathematically associative, the
 behavior of \tcode{inclusive_scan} may be nondeterministic.
 \end{note}
 \end{itemdescr}
diff --git a/source/templates.tex b/source/templates.tex
index b176991b85..9a714cbaf8 100644
--- a/source/templates.tex
+++ b/source/templates.tex
@@ -4773,8 +4773,8 @@
 the class template followed by the template argument list of
 the partial specialization enclosed in
 \tcode{<>} (or an equivalent template alias specialization).
-If the \textit{n}th template parameter is
-a template parameter pack, the \textit{n}th template argument is a pack
+If the $n^\text{th}$ template parameter is
+a template parameter pack, the $n^\text{th}$ template argument is a pack
 expansion\iref{temp.variadic} whose pattern is the name of
 the template parameter pack.
 \end{itemize}
@@ -4782,12 +4782,12 @@
 \pnum
 The template argument list of a primary template is a
 template argument list in which the
-\textit{n}th
+$n^\text{th}$
 template argument has the value of the
-\textit{n}th
+$n^\text{th}$
 template parameter of the class template.
-If the \textit{n}th template parameter is a template
-parameter pack\iref{temp.variadic}, the \textit{n}th template argument is a pack
+If the $n^\text{th}$ template parameter is a template
+parameter pack\iref{temp.variadic}, the $n^\text{th}$ template argument is a pack
 expansion\iref{temp.variadic} whose pattern is the name of
 the template parameter pack.
 
diff --git a/source/utilities.tex b/source/utilities.tex
index e570b0bfc2..f1debeab04 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -1800,7 +1800,7 @@
 
 \pnum
 \ctype \tcode{TI} is the
-type of the \tcode{I}th element of \tcode{Types},
+type of the $\tcode{I}^\text{th}$ element of \tcode{Types},
 where indexing is zero-based.
 \end{itemdescr}
 
@@ -1893,7 +1893,7 @@
 The program is ill-formed if \tcode{I} is out of bounds.
 
 \pnum
-\returns  A reference to the \tcode{I}th element of \tcode{t}, where
+\returns  A reference to the $\tcode{I}^\text{th}$ element of \tcode{t}, where
 indexing is zero-based.
 
 \pnum