[functional.syn], [func.bind.place] Use \vdots for vertical ellipsis; add missing \placeholder#7723
Merged
tkoeppe merged 1 commit intocplusplus:mainfrom Mar 15, 2025
Merged
\vdots for vertical ellipsis; add missing \placeholder#7723