[lib] Harmonize presentation of "The expression in...is equivalent to" (#4108)

Author: JohelEGP

source/ranges.tex

@@ -2259,7 +2259,7 @@
 
 \pnum
 \remarks
-The expression in the \grammarterm{requires-clause} is equivalent to
+The expression in the \grammarterm{requires-clause} is equivalent to:
 \begin{codeblock}
 (@\libconcept{same_as}@<W, Bound> && @\exposconcept{advanceable}@<W>) || (integral<W> && integral<Bound>) ||
   @\libconcept{sized_sentinel_for}@<Bound, W>
@@ -3101,7 +3101,7 @@
 void @\placeholder{FUN}@(R&);
 void @\placeholder{FUN}@(R&&) = delete;
 \end{codeblock}
-The expression in the \grammarterm{requires-clause} is equivalent to
+The expression in the \grammarterm{requires-clause} is equivalent to:
 \begin{codeblock}
 @\libconcept{convertible_to}@<T, R&> && requires { @\placeholder{FUN}@(declval<T>()); }
 \end{codeblock}

source/utilities.tex

@@ -803,7 +803,7 @@
 
 \pnum
 \remarks
-The expression inside explicit is equivalent to:
+The expression inside \tcode{explicit} is equivalent to:
 \begin{codeblock}
 !is_convertible_v<const U1&, first_type> || !is_convertible_v<const U2&, second_type>
 \end{codeblock}
@@ -831,7 +831,7 @@
 
 \pnum
 \remarks
-The expression inside explicit is equivalent to:
+The expression inside \tcode{explicit} is equivalent to:
 \begin{codeblock}
 !is_convertible_v<U1, first_type> || !is_convertible_v<U2, second_type>
 \end{codeblock}
@@ -1587,6 +1587,7 @@
 second element with \tcode{u.second}.
 
 \pnum
+\remarks
 The expression inside \tcode{explicit} is equivalent to:
 \begin{codeblock}
 !is_convertible_v<const U1&, @$\tcode{T}_0$@> || !is_convertible_v<const U2&, @$\tcode{T}_1$@>
@@ -1615,6 +1616,7 @@
 second element with \tcode{std::forward<U2>(u.second)}.
 
 \pnum
+\remarks
 The expression inside \tcode{explicit} is equivalent to:
 \begin{codeblock}
 !is_convertible_v<U1, @$\tcode{T}_0$@> || !is_convertible_v<U2, @$\tcode{T}_1$@>
@@ -1714,7 +1716,7 @@
 
 \pnum
 \remarks
-The expression inside \tcode{noexcept} is equivalent to the logical \textsc{and} of the
+The expression inside \tcode{noexcept} is equivalent to the logical \logop{AND} of the
 following expressions:
 
 \begin{codeblock}
@@ -1845,7 +1847,7 @@
 \pnum
 \remarks
 The expression inside \tcode{noexcept} is equivalent to the logical
-\textsc{and} of the following expressions:
+\logop{AND} of the following expressions:
 
 \begin{codeblock}
 is_nothrow_swappable_v<@$\mathtt{T}_i$@>
@@ -3186,6 +3188,8 @@
 \begin{codeblock}
 is_nothrow_move_constructible_v<T> && is_nothrow_swappable_v<T>
 \end{codeblock}
+
+\pnum
 If any exception is thrown, the results of the expressions \tcode{bool(*this)} and \tcode{bool(rhs)} remain unchanged.
 If an exception is thrown during the call to function \tcode{swap},
 the state of \tcode{*val} and \tcode{*rhs.val} is determined by the exception safety guarantee of \tcode{swap} for lvalues of \tcode{T}.
@@ -4489,7 +4493,7 @@
 \tcode{is_trivially_move_assignable_v<$\tcode{T}_i$> \&\&}
 \tcode{is_trivially_destructible_v<$\tcode{T}_i$>}
 is \tcode{true} for all $i$, this assignment operator is trivial.
-The expression inside \tcode{noexcept} is equivalent to:
+The expression inside \tcode{noexcept} is equivalent to
 \tcode{is_nothrow_move_constructible_v<$\tcode{T}_i$> \&\& is_nothrow_move_assignable_v<$\tcode{T}_i$>} for all $i$.
 \begin{itemize}
 \item If an exception is thrown during the call to $\tcode{T}_j$'s move construction