From f3872a1311dc8875de620c7a45dc17ebed3408ba Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Tue, 15 Jul 2025 06:27:01 +0200
Subject: [PATCH] [meta.reflection.array] 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 880f84f533..21930de92f 100644
--- a/source/meta.tex
+++ b/source/meta.tex
@@ -5698,12 +5698,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}