From c3a5e8097ab41c8241e4ccc6f1b9c6218598c75b Mon Sep 17 00:00:00 2001 From: lprv <100177227+lprv@users.noreply.github.com> Date: Tue, 4 Mar 2025 00:17:20 +0000 Subject: [PATCH] [functional.syn], [func.bind.place] Use \vdots; add missing \placeholder --- source/utilities.tex | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/source/utilities.tex b/source/utilities.tex index 59b3a9d447..e515e32801 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -10775,9 +10775,7 @@ // \tcode{\placeholder{M}} is the \impldef{number of placeholders for bind expressions} number of placeholders @\seebelownc@ _1; // freestanding @\seebelownc@ _2; // freestanding - . - . - . + @\vdots@ @\seebelownc@ _@\placeholdernc{M}@; // freestanding } @@ -12954,13 +12952,11 @@ % "namespace placeholders" in [functional.syn]? \begin{codeblock} namespace std::placeholders { - // M is the number of placeholders + // \tcode{\placeholder{M}} is the number of placeholders @\seebelow@ _1; @\seebelow@ _2; - . - . - . - @\seebelow@ _M; + @\itcorr\vdots@ + @\seebelow@ _@\placeholdernc{M}@; } \end{codeblock}