From 35c15331d4f75e0d1dde21bf177deb3a5309ce7a Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sat, 20 Jun 2026 18:32:49 +0200
Subject: [PATCH 1/2] [simd] Remove unnecessary \tcode around \exposid

---
 source/numerics.tex | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

diff --git a/source/numerics.tex b/source/numerics.tex
index 7ec3aada0d..d9857e07e2 100644
--- a/source/numerics.tex
+++ b/source/numerics.tex
@@ -17724,8 +17724,8 @@
 
 \pnum
 \constraints
-Every type in the parameter pack \tcode{Flags} is one of \tcode{\exposid{convert-flag}},
-\tcode{\exposid{aligned-flag}}, or \tcode{\exposid{over\-aligned-\brk{}flag}<N>}.
+Every type in the parameter pack \tcode{Flags} is one of \exposid{convert-flag},
+\exposid{aligned-flag}, or \tcode{\exposid{over\-aligned-\brk{}flag}<N>}.
 
 \rSec3[simd.flags.oper]{\tcode{flags} operators}
 
@@ -18300,7 +18300,7 @@
 \pnum
 \mandates
 If the template parameter pack \tcode{Flags} does not contain
-\tcode{\exposid{convert-flag}}, then the conversion from
+\exposid{convert-flag}, then the conversion from
 \tcode{ranges::range_value_t<R>} to \tcode{value_type} is value-preserving.
 
 \pnum
@@ -18308,7 +18308,7 @@
 \begin{itemize}
  \item
    If the template parameter pack \tcode{Flags} contains
-   \tcode{\exposid{aligned-flag}}, \tcode{ranges::data(r)} points to
+   \exposid{aligned-flag}, \tcode{ranges::data(r)} points to
    storage aligned by \tcode{alignment_v<basic_vec,
    ranges::range_value_t<R>>}.
  \item
@@ -19119,7 +19119,7 @@
    \tcode{V} is an enabled specialization of \tcode{basic_vec}, and
  \item
    if the template parameter pack \tcode{Flags} does not contain
-   \tcode{\exposid{convert-flag}}, then the conversion from
+   \exposid{convert-flag}, then the conversion from
    \tcode{ranges::range_value_t<R>} to \tcode{V::value_type} is
    value-preserving.
 \end{itemize}
@@ -19135,7 +19135,7 @@
    parameter.
  \item
    If the template parameter pack \tcode{Flags} contains
-   \tcode{\exposid{aligned-flag}}, \tcode{ranges::data(r)} points to storage
+   \exposid{aligned-flag}, \tcode{ranges::data(r)} points to storage
    aligned by \tcode{alignment_v<V, ranges::range_value_t<R>>}.
  \item
    If the template parameter pack \tcode{Flags} contains
@@ -19282,7 +19282,7 @@
    \tcode{ranges::range_value_t<R>} is a vectorizable type, and
  \item
    if the template parameter pack \tcode{Flags} does not contain
-   \tcode{\exposid{convert-flag}}, then the conversion from \tcode{T} to
+   \exposid{convert-flag}, then the conversion from \tcode{T} to
    \tcode{ranges::range_value_t<R>} is value-preserving.
 \end{itemize}
 
@@ -19297,7 +19297,7 @@
    parameter.
  \item
    If the template parameter pack \tcode{Flags} contains
-   \tcode{\exposid{aligned-flag}}, \tcode{ranges::data(r)} points to storage
+   \exposid{aligned-flag}, \tcode{ranges::data(r)} points to storage
    aligned by \tcode{alignment_v<basic_vec<T, Abi>,
    ranges::range_value_t<R>>}.
  \item
@@ -19475,7 +19475,7 @@
 elements in \tcode{selector}, in ascending order.
 \item
 \tcode{\exposidnc{bit-lookup}($b$)} be a function which returns the index
-where $b$ appears in \tcode{\exposid{set-indices}}.
+where $b$ appears in \exposid{set-indices}.
 \item
 \tcode{\exposidnc{select-value}($i$)} be a function which returns
 \tcode{v[\exposidnc{bit-lookup}($i$)]} if \tcode{selector[$i$]} is
@@ -19886,7 +19886,7 @@
 \begin{codeblock}
 return @\exposid{simd-select-impl}@(c, a, b);
 \end{codeblock}
-where \tcode{\exposid{simd-select-impl}} is found by argument-dependent
+where \exposid{simd-select-impl} is found by argument-dependent
 lookup\iref{basic.lookup.argdep} contrary to \ref{contents}.
 \end{itemdescr}
 

From 936bb8355daa692f14ee78c678cd22d7e0adff5c Mon Sep 17 00:00:00 2001
From: Eisenwave <me@eisenwave.net>
Date: Sat, 20 Jun 2026 18:33:44 +0200
Subject: [PATCH 2/2] [check] Also diagnose \tcode{\exposid{kebap-case}}, i.e.
 hyphenated identifiers

---
 tools/check-source.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/check-source.sh b/tools/check-source.sh
index ffd7c94d47..c8acd8d2a5 100755
--- a/tools/check-source.sh
+++ b/tools/check-source.sh
@@ -87,7 +87,7 @@ grep -n 'U+' $texfiles |
     fail 'use \\unicode or \\ucode or \\uname instead' || failed=1
 
 # Discourage double-wrapping \tcode{\exposid{data_}}
-grep -n '\\tcode{\\exposid{[a-zA-Z0-9_]*}}' $texfiles |
+grep -n '\\tcode{\\exposid{[a-zA-Z0-9_-]*}}' $texfiles |
     fail 'double-wrapped \\exposid in \\tcode' || failed=1
 
 # Hex digits inside \ucode and \unicode must be lowercase so that \textsc works