[over.match.best.general] Minor formatting fixes

Author: Bekenn

source/overloading.tex

@@ -1755,8 +1755,8 @@
 
 \item the context is an initialization by conversion function for direct
 reference binding\iref{over.match.ref} of a reference to function type, the
-return type of \tcode{F1} is the same kind of reference (lvalue or rvalue)
-as the reference being initialized, and the return type of \tcode{F2} is not
+return type of $\tcode{F}_1$ is the same kind of reference (lvalue or rvalue)
+as the reference being initialized, and the return type of $\tcode{F}_2$ is not
 \begin{example}
 \begin{codeblock}
 template <class T> struct A {
@@ -1772,29 +1772,29 @@
 or, if not that,
 
 \item
-\tcode{F1}
+$\tcode{F}_1$
 is not a function template specialization and
-\tcode{F2}
+$\tcode{F}_2$
 is a
 function template
 specialization, or, if not that,
 
 \item
-\tcode{F1}
+$\tcode{F}_1$
 and
-\tcode{F2}
+$\tcode{F}_2$
 are
 function template specializations,
 and the function template
 for
-\tcode{F1}
+$\tcode{F}_1$
 is more specialized than the template for
-\tcode{F2}
+$\tcode{F}_2$
 according to the partial ordering rules described in~\ref{temp.func.order},
 or, if not that,
 
 \item
-\tcode{F1} and \tcode{F2} are non-template functions and
+$\tcode{F}_1$ and $\tcode{F}_2$ are non-template functions and
 \begin{itemize}
 \item
 they have the same non-object-parameter-type-lists\iref{dcl.fct}, and
@@ -1804,11 +1804,10 @@
 if both are non-static member functions,
 they have the same types for their object parameters, and
 \item
-\tcode{F1} is more constrained than \tcode{F2}
+$\tcode{F}_1$ is more constrained than $\tcode{F}_2$
 according to the partial ordering of constraints described in
-\ref{temp.constr.order},
+\ref{temp.constr.order}
 \end{itemize}
-or if not that,
 \begin{example}
 \begin{codeblock}
 template <typename T = int>
@@ -1823,12 +1822,13 @@
 }
 \end{codeblock}
 \end{example}
+or, if not that,
 
 \item
-\tcode{F1} is a constructor for a class \tcode{D},
-\tcode{F2} is a constructor for a base class \tcode{B} of \tcode{D}, and
+$\tcode{F}_1$ is a constructor for a class \tcode{D},
+$\tcode{F}_2$ is a constructor for a base class \tcode{B} of \tcode{D}, and
 for all arguments
-the corresponding parameters of \tcode{F1} and \tcode{F2} have the same type
+the corresponding parameters of $\tcode{F}_1$ and $\tcode{F}_2$ have the same type
 \begin{example}
 \begin{codeblock}
 struct A {
@@ -1848,8 +1848,8 @@
 or, if not that,
 
 \item
-\tcode{F2} is a rewritten candidate\iref{over.match.oper} and
-\tcode{F1} is not
+$\tcode{F}_2$ is a rewritten candidate\iref{over.match.oper} and
+$\tcode{F}_1$ is not
 \begin{example}
 \begin{codeblock}
 struct S {
@@ -1862,10 +1862,10 @@
 or, if not that,
 
 \item
-\tcode{F1} and \tcode{F2} are rewritten candidates, and
-\tcode{F2} is a synthesized candidate
+$\tcode{F}_1$ and $\tcode{F}_2$ are rewritten candidates, and
+$\tcode{F}_2$ is a synthesized candidate
 with reversed order of parameters
-and \tcode{F1} is not
+and $\tcode{F}_1$ is not
 \begin{example}
 \begin{codeblock}
 struct S {
@@ -1875,32 +1875,32 @@
 bool b = 1 < S();                                               // calls \#2
 \end{codeblock}
 \end{example}
-or, if not that
+or, if not that,
 
 \item
-\tcode{F1} and \tcode{F2} are generated
+$\tcode{F}_1$ and $\tcode{F}_2$ are generated
 from class template argument deduction\iref{over.match.class.deduct}
 for a class \tcode{D}, and
-\tcode{F2} is generated
+$\tcode{F}_2$ is generated
 from inheriting constructors from a base class of \tcode{D}
-while \tcode{F1} is not, and
+while $\tcode{F}_1$ is not, and
 for each explicit function argument,
-the corresponding parameters of \tcode{F1} and \tcode{F2}
+the corresponding parameters of $\tcode{F}_1$ and $\tcode{F}_2$
 are either both ellipses or have the same type,
 or, if not that,
 
 \item
-\tcode{F1} is generated from a
+$\tcode{F}_1$ is generated from a
 \grammarterm{deduction-guide}\iref{over.match.class.deduct}
-and \tcode{F2} is not, or, if not that,
+and $\tcode{F}_2$ is not, or, if not that,
 
 \item
-\tcode{F1} is the copy deduction candidate\iref{over.match.class.deduct}
-and \tcode{F2} is not, or, if not that,
+$\tcode{F}_1$ is the copy deduction candidate\iref{over.match.class.deduct}
+and $\tcode{F}_2$ is not, or, if not that,
 
 \item
-\tcode{F1} is generated from a non-template constructor
-and \tcode{F2} is generated from a constructor template.
+$\tcode{F}_1$ is generated from a non-template constructor
+and $\tcode{F}_2$ is generated from a constructor template.
 \begin{example}
 \begin{codeblock}
 template <class T> struct A {