[basic] Use $E$ as expression placeholder.

Author: jensmaurer

source/basic.tex

@@ -300,38 +300,38 @@
 an unevaluated operand\iref{expr.prop},
 a subexpression thereof, or
 a conversion in an initialization or conversion sequence in such a context.
-The set of \defn{potential results} of an expression \tcode{e} is
+The set of \defn{potential results} of an expression $E$ is
 defined as follows:
 \begin{itemize}
-\item If \tcode{e} is an
+\item If $E$ is an
 \grammarterm{id-expression}\iref{expr.prim.id}, the set
-contains only \tcode{e}.
-\item If \tcode{e} is a subscripting operation\iref{expr.sub} with
+contains only $E$.
+\item If $E$ is a subscripting operation\iref{expr.sub} with
 an array operand, the set contains the potential results of that operand.
-\item If \tcode{e} is a class member access
+\item If $E$ is a class member access
 expression\iref{expr.ref} of the form
 \tcode{e1 . \opt{template} e2}
 naming a non-static data member,
 the set contains the potential results of \tcode{e1}.
-\item If \tcode{e} is a class member access expression
+\item If $E$ is a class member access expression
 naming a static data member,
 the set contains the \grammarterm{id-expression} designating the data member.
-\item If \tcode{e} is a pointer-to-member
+\item If $E$ is a pointer-to-member
 expression\iref{expr.mptr.oper} of the form
 \tcode{e1 .* e2},
 the set contains the potential results of \tcode{e1}.
-\item If \tcode{e} has the form \tcode{(e1)}, the set contains the
+\item If $E$ has the form \tcode{(e1)}, the set contains the
 potential results of \tcode{e1}.
-\item If \tcode{e} is a glvalue conditional
+\item If $E$ is a glvalue conditional
 expression\iref{expr.cond}, the set is the union of the sets of
 potential results of the second and third operands.
-\item If \tcode{e} is a comma expression\iref{expr.comma}, the set
+\item If $E$ is a comma expression\iref{expr.comma}, the set
 contains the potential results of the right operand.
 \item Otherwise, the set is empty.
 \end{itemize}
 \begin{note}
 This set is a (possibly-empty) set of \grammarterm{id-expression}{s},
-each of which is either \tcode{e} or a subexpression of \tcode{e}.
+each of which is either $E$ or a subexpression of $E$.
 \begin{example}
 In the following example, the set of potential results of the initializer
 of \tcode{n} contains the first \tcode{S::x} subexpression, but not the second
@@ -386,21 +386,21 @@
 
 \pnum
 A variable \tcode{x} whose name appears as a
-potentially-evaluated expression \tcode{e}
-is \defnx{odr-used}{odr-use} by \tcode{e} unless
+potentially-evaluated expression $E$
+is \defnx{odr-used}{odr-use} by $E$ unless
 \begin{itemize}
 \item
   \tcode{x} is a reference that is
   usable in constant expressions\iref{expr.const}, or
 \item
   \tcode{x} is a variable of non-reference type that is
   usable in constant expressions and has no mutable subobjects, and
-  \tcode{e} is an element of the set of potential results of an expression
+  $E$ is an element of the set of potential results of an expression
   of non-volatile-qualified non-class type
   to which the lvalue-to-rvalue conversion\iref{conv.lval} is applied, or
 \item
   \tcode{x} is a variable of non-reference type, and
-  \tcode{e} is an element of the set of potential results
+  $E$ is an element of the set of potential results
   of a discarded-value expression\iref{expr.prop}
   to which the lvalue-to-rvalue conversion is not applied.
 \end{itemize}
@@ -5278,30 +5278,30 @@
 \end{example}
 
 \pnum
-The \defnx{immediate subexpressions}{immediate subexpression} of an expression \tcode{e} are
+The \defnx{immediate subexpressions}{immediate subexpression} of an expression $E$ are
 \begin{itemize}
 \item
-the constituent expressions of \tcode{e}'s operands\iref{expr.prop},
+the constituent expressions of $E$'s operands\iref{expr.prop},
 \item
-any function call that \tcode{e} implicitly invokes,
+any function call that $E$ implicitly invokes,
 \item
-if \tcode{e} is a \grammarterm{lambda-expression}\iref{expr.prim.lambda},
+if $E$ is a \grammarterm{lambda-expression}\iref{expr.prim.lambda},
 the initialization of the entities captured by copy and
 the constituent expressions of the \grammarterm{initializer} of the \grammarterm{init-capture}{s},
 \item
-if \tcode{e} is a function call\iref{expr.call} or implicitly invokes a function,
+if $E$ is a function call\iref{expr.call} or implicitly invokes a function,
 the constituent expressions of each default argument\iref{dcl.fct.default}
 used in the call, or
 \item
-if \tcode{e} creates an aggregate object\iref{dcl.init.aggr},
+if $E$ creates an aggregate object\iref{dcl.init.aggr},
 the constituent expressions of each default member initializer\iref{class.mem}
 used in the initialization.
 \end{itemize}
 
 \pnum
-A \defn{subexpression} of an expression \tcode{e} is
-an immediate subexpression of \tcode{e} or
-a subexpression of an immediate subexpression of \tcode{e}.
+A \defn{subexpression} of an expression $E$ is
+an immediate subexpression of $E$ or
+a subexpression of an immediate subexpression of $E$.
 \begin{note}
 Expressions appearing in the \grammarterm{compound-statement} of a \grammarterm{lambda-expression}
 are not subexpressions of the \grammarterm{lambda-expression}.