[enumerated.types, bitmask.types] Add missing \tcode in a few places, use maths subscripts for indexed placeholders.

Author: tkoeppe

source/lib-intro.tex

@@ -605,20 +605,21 @@
 values~(\ref{basic.fundamental}).}
 
 \pnum
-The enumerated type \term{enumerated} can be written:
+The enumerated type \tcode{\placeholder{enumerated}} can be written:
 
 \begin{codeblock}
-enum @\term{enumerated}@ { @\term{V0}@, @\term{V1}@, @\term{V2}@, @\term{V3}@, ..... };
+enum @\placeholder{enumerated}@ { @$\tcode{\placeholder{V}}_{0}$@, @$\tcode{\placeholder{V}}_{1}$@, @$\tcode{\placeholder{V}}_{2}$@, @$\tcode{\placeholder{V}}_{3}$@, ..... };
 
-inline const @\term{enumerated C0}@ (@\term{V0}@);
-inline const @\term{enumerated C1}@ (@\term{V1}@);
-inline const @\term{enumerated C2}@ (@\term{V2}@);
-inline const @\term{enumerated C3}@ (@\term{V3}@);
+inline const @$\tcode{\placeholder{enumerated C}}_{0}$@(@$\tcode{\placeholder{V}}_{0}$@);
+inline const @$\tcode{\placeholder{enumerated C}}_{1}$@(@$\tcode{\placeholder{V}}_{1}$@);
+inline const @$\tcode{\placeholder{enumerated C}}_{2}$@(@$\tcode{\placeholder{V}}_{2}$@);
+inline const @$\tcode{\placeholder{enumerated C}}_{3}$@(@$\tcode{\placeholder{V}}_{3}$@);
   .....
 \end{codeblock}
 
 \pnum
-Here, the names \term{C0}, \term{C1}, etc. represent
+Here, the names $\tcode{\placeholder{C}}_0$,
+$\tcode{\placeholder{C}}_1$, etc.\ represent
 \term{enumerated elements}
 for this particular enumerated type.
 \indextext{type!enumerated}%
@@ -642,16 +643,15 @@
 
 \begin{codeblock}
 // For exposition only.
-// \tcode{int_type} is an integral type capable of
-// representing all values of the bitmask type.
-enum @\term{bitmask}@ : int_type {
-  @\term{V0}@ = 1 << 0, @\term{V1}@ = 1 << 1, @\term{V2}@ = 1 << 2, @\term{V3}@ = 1 << 3, .....
+// \tcode{int_type} is an integral type capable of representing all values of the bitmask type.
+enum @\placeholder{bitmask}@ : int_type {
+  @$\tcode{\placeholder{V}}_{0}$@ = 1 << 0, @$\tcode{\placeholder{V}}_{1}$@ = 1 << 1, @$\tcode{\placeholder{V}}_{2}$@ = 1 << 2, @$\tcode{\placeholder{V}}_{3}$@ = 1 << 3, .....
 };
 
-inline constexpr @\term{bitmask C0}@(@\term{V0}{}@);
-inline constexpr @\term{bitmask C1}@(@\term{V1}{}@);
-inline constexpr @\term{bitmask C2}@(@\term{V2}{}@);
-inline constexpr @\term{bitmask C3}@(@\term{V3}{}@);
+inline constexpr @$\tcode{\placeholder{bitmask C}}_{0}$@(@$\tcode{\placeholder{V}}_{0}{}$@);
+inline constexpr @$\tcode{\placeholder{bitmask C}}_{1}$@(@$\tcode{\placeholder{V}}_{1}{}$@);
+inline constexpr @$\tcode{\placeholder{bitmask C}}_{2}$@(@$\tcode{\placeholder{V}}_{2}{}$@);
+inline constexpr @$\tcode{\placeholder{bitmask C}}_{3}$@(@$\tcode{\placeholder{V}}_{3}{}$@);
   .....
 
 constexpr @\term{bitmask}{}@ operator&(@\term{bitmask}{}@ X, @\term{bitmask}{}@ Y) {
@@ -681,21 +681,21 @@
 \end{codeblock}
 
 \pnum
-Here, the names \term{C0}, \term{C1}, etc. represent
+Here, the names $\tcode{\placeholder{C}}_0$,
+$\tcode{\placeholder{C}}_1$, etc.\ represent
 \term{bitmask elements}
 for this particular bitmask type.
 \indextext{type!bitmask}%
-All such elements have distinct, nonzero values such that, for any pair \term{Ci}
-and \term{Cj} where \term{i} != \term{j}, \term{Ci} \& \term{Ci} is nonzero and
-\term{Ci} \& \term{Cj} is zero.
+All such elements have distinct, nonzero values such that, for any pair $\tcode{\placeholder{C}}_i$
+and $\tcode{\placeholder{C}}_j$ where $i \neq j$, \tcode{$\placeholder{C}_i$ \& $\placeholder{C}_i$} is nonzero and
+\tcode{$\placeholder{C}_i$ \& $\placeholder{C}_j$} is zero.
 \indextext{bitmask!empty}%
-Additionally, the value 0 is used to represent an \term{empty bitmask}, in which no
+Additionally, the value \tcode{0} is used to represent an \term{empty bitmask}, in which no
 bitmask elements are set.
 
 \pnum
 The following terms apply to objects and values of
 bitmask types:
-
 \begin{itemize}
 \item
 To