Tweak 4534 P/R again during telecon

Author: jwakely

xml/issue4534.xml

@@ -51,16 +51,22 @@ let <code><i>VAL</i>&lt;T&gt;</code> for some type `T` be an expression defined
 <li><p>
 <ins>(4.3) &mdash; let `C(T)` be the set of types defined as follows:</ins></p>
 <ul style="list-style-type: none">
-<li><p><ins>(4.3.1) &mdash; if `T` is the type "array of `U`", "pointer to `U`", or "reference to `U`", then `C(T)` is `C(U)`;
+<li><p><ins>(4.3.1) &mdash; if <code>remove_cv_t&lt;T&gt;</code>
+is the type "array of `U`", "pointer to `U`", or "reference to `U`",
+then `C(T)` is `C(U)`;
 </ins></p></li>
-<li><p><ins>(4.3.2) &mdash; otherwise, if `T` is the type "pointer to member of class `X` of type `U`", then `C(T)` is the union of `C(X)` and `C(U)`;
+<li><p><ins>(4.3.2) &mdash; otherwise, if <code>remove_cv_t&lt;T&gt;</code>
+is the type "pointer to member of class `X` of type `U`",
+then `C(T)` is the union of `C(X)` and `C(U)`;
 </ins></p></li>
 <li><p><ins>(4.3.3) &mdash; otherwise, if `T` is the type "`noexcept`<i><sub>opt</sub></i> function of parameter-type-list <i>cv-qualifier-seq<sub>opt</sub></i> <i>ref-qualifier<sub>opt</sub></i> returning `U`",
 then `C(T)` is the union of `C(U)` and `C(X)` for each type `X` in the parameter-type-list;
 </ins></p></li>
-<li><p><ins>(4.3.4) &mdash; otherwise, if `T` is a complete class type,
-then `C(T)` is the union of the sets `C(U)`, for each `U` that is the type of a
-(possibly indirect) non-static data member of `T`;
+<li><p><ins>(4.3.4) &mdash; otherwise, if <code>remove_cv_t&lt;T&gt;</code>
+is a complete class type,
+then `C(T)` is the union of the sets `C(U)`,
+for each `U` that is the type of a (possibly indirect) non-static data member
+of <code>remove_cv_t&lt;T&gt;</code>;
 </ins></p></li>
 <li><p><ins>(4.3.5) &mdash; otherwise, `C(T)` is the set containing the single element <code>remove_cv_t&lt;T&gt;</code>.
 </ins></p></li>