From 16f7107d76eda1d28bc4a046b21c0dd4bc0af147 Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Thu, 6 Nov 2025 15:53:12 +0100
Subject: [PATCH] [meta.define.static] Use "character type" in Mandates

---
 source/meta.tex | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/source/meta.tex b/source/meta.tex
index 16365a126d..a5b27aa919 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -3390,12 +3390,7 @@
 
 \pnum
 \mandates
-\tcode{CharT} is one of
-\tcode{char},
-\tcode{wchar_t},
-\tcode{char8_t},
-\tcode{char16_t},
-\tcode{char32_t}.
+\tcode{CharT} is a character type\iref{basic.fundamental}.
 
 \pnum
 Let $V$ be the pack of values of type \tcode{CharT}