diff --git a/source/numerics.tex b/source/numerics.tex index 9a73928f4d..fcce58b195 100644 --- a/source/numerics.tex +++ b/source/numerics.tex @@ -17330,7 +17330,7 @@ \pnum \constraints -\tcode{value_type} satisfies \tcode{constructible_from}. +\tcode{value_type} satisfies \tcode{\libconcept{constructible_from}}. \pnum \effects @@ -17340,7 +17340,7 @@ \pnum \remarks The expression inside \tcode{explicit} evaluates to \tcode{false} if and only if -\tcode{U} satisfies \tcode{convertible_to}, and either +\tcode{U} satisfies \tcode{\libconcept{convertible_to}}, and either \begin{itemize} \item \tcode{From} is not an arithmetic type and does not satisfy @@ -17399,7 +17399,7 @@ \pnum \constraints -\tcode{From}$_i$ satisfies \tcode{convertible_to} for all $i$ in +\tcode{From}$_i$ satisfies \tcode{\libconcept{convertible_to}} for all $i$ in the range of \range{0}{size()}. In addition, for all $i$ in the range of \range{0}{size()}, if \tcode{From}$_i$ is an arithmetic type, conversion from \tcode{From}$_i$ to \tcode{value_type}