From 725b1ac1507afeda88f8cb0504fa04f1ae9b7044 Mon Sep 17 00:00:00 2001
From: "A. Jiang" <de34@live.cn>
Date: Sun, 4 Jan 2026 16:15:47 +0800
Subject: [PATCH] [time.syn] Use `\placeholder` instead of `\term`

"Signed integer type of at least N bits" are not terms defined in
[time.syn], so perhaps we should use `\placeholder` instead.
---
 source/time.tex | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/source/time.tex b/source/time.tex
index 023b13bf6b..fdc7fe43c5 100644
--- a/source/time.tex
+++ b/source/time.tex
@@ -160,19 +160,19 @@
                   minutes* offset = nullptr);
 
   // convenience typedefs
-  using nanoseconds  = duration<@\term{signed integer type of at least 64 bits}@, nano>;
-  using microseconds = duration<@\term{signed integer type of at least 55 bits}@, micro>;
-  using milliseconds = duration<@\term{signed integer type of at least 45 bits}@, milli>;
-  using seconds      = duration<@\term{signed integer type of at least 35 bits}@>;
-  using minutes      = duration<@\term{signed integer type of at least 29 bits}@, ratio<  60>>;
-  using hours        = duration<@\term{signed integer type of at least 23 bits}@, ratio<3600>>;
-  using days         = duration<@\term{signed integer type of at least 25 bits}@,
+  using nanoseconds  = duration<@\placeholder{signed integer type of at least 64 bits}@, nano>;
+  using microseconds = duration<@\placeholder{signed integer type of at least 55 bits}@, micro>;
+  using milliseconds = duration<@\placeholder{signed integer type of at least 45 bits}@, milli>;
+  using seconds      = duration<@\placeholder{signed integer type of at least 35 bits}@>;
+  using minutes      = duration<@\placeholder{signed integer type of at least 29 bits}@, ratio<  60>>;
+  using hours        = duration<@\placeholder{signed integer type of at least 23 bits}@, ratio<3600>>;
+  using days         = duration<@\placeholder{signed integer type of at least 25 bits}@,
                                 ratio_multiply<ratio<24>, hours::period>>;
-  using weeks        = duration<@\term{signed integer type of at least 22 bits}@,
+  using weeks        = duration<@\placeholder{signed integer type of at least 22 bits}@,
                                 ratio_multiply<ratio<7>, days::period>>;
-  using years        = duration<@\term{signed integer type of at least 17 bits}@,
+  using years        = duration<@\placeholder{signed integer type of at least 17 bits}@,
                                 ratio_multiply<ratio<146097, 400>, days::period>>;
-  using months       = duration<@\term{signed integer type of at least 20 bits}@,
+  using months       = duration<@\placeholder{signed integer type of at least 20 bits}@,
                                 ratio_divide<years::period, ratio<12>>>;
 
   // \ref{time.point.nonmember}, \tcode{time_point} arithmetic