diff --git a/source/containers.tex b/source/containers.tex
index 109368b267..e5b1d13da1 100644
--- a/source/containers.tex
+++ b/source/containers.tex
@@ -3478,7 +3478,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{N == 0} or \tcode{is_swappable_v<T>} is \tcode{true}.
+\constraints
+\tcode{N == 0} or \tcode{is_swappable_v<T>} is \tcode{true}.
 
 \pnum
 \effects
diff --git a/source/diagnostics.tex b/source/diagnostics.tex
index a3f81338e5..22e96bec46 100644
--- a/source/diagnostics.tex
+++ b/source/diagnostics.tex
@@ -1128,7 +1128,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_error_code_enum_v<ErrorCodeEnum>} is \tcode{true}.
+\constraints
+\tcode{is_error_code_enum_v<ErrorCodeEnum>} is \tcode{true}.
 
 \pnum
 \ensures
@@ -1156,7 +1157,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_error_code_enum_v<ErrorCodeEnum>} is \tcode{true}.
+\constraints
+\tcode{is_error_code_enum_v<ErrorCodeEnum>} is \tcode{true}.
 
 \pnum
 \ensures
@@ -1336,7 +1338,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_error_condition_enum_v<ErrorConditionEnum>} is \tcode{true}.
+\constraints
+\tcode{is_error_condition_enum_v<ErrorConditionEnum>} is \tcode{true}.
 
 \pnum
 \ensures
@@ -1365,7 +1368,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_error_condition_enum_v<ErrorConditionEnum>} is \tcode{true}.
+\constraints
+\tcode{is_error_condition_enum_v<ErrorConditionEnum>} is \tcode{true}.
 
 \pnum
 \ensures
diff --git a/source/iostreams.tex b/source/iostreams.tex
index fcd40f1604..75f27e6b7a 100644
--- a/source/iostreams.tex
+++ b/source/iostreams.tex
@@ -5554,7 +5554,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints The expression \tcode{is >> std::forward<T>(x)} is well-formed when treated as an unevaluated operand.
+\constraints
+The expression \tcode{is >> std::forward<T>(x)} is well-formed when treated as an unevaluated operand.
 
 \pnum
 \effects
@@ -6764,7 +6765,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints The expression \tcode{os << x} is well-formed when treated as an unevaluated operand.
+\constraints
+The expression \tcode{os << x} is well-formed when treated as an unevaluated operand.
 
 \pnum
 \effects
@@ -7780,7 +7782,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{SAlloc} is a type that
+\constraints
+\tcode{SAlloc} is a type that
 qualifies as an allocator\iref{container.requirements.general}.
 
 \pnum
@@ -7865,7 +7868,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_same_v<SAlloc,Allocator>} is \tcode{false}.
+\constraints
+\tcode{is_same_v<SAlloc,Allocator>} is \tcode{false}.
 
 \pnum
 \effects
@@ -8649,7 +8653,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_same_v<SAlloc,Allocator>} is \tcode{false}.
+\constraints
+\tcode{is_same_v<SAlloc,Allocator>} is \tcode{false}.
 
 \pnum
 \effects
@@ -8974,7 +8979,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_same_v<SAlloc,Allocator>} is \tcode{false}.
+\constraints
+\tcode{is_same_v<SAlloc,Allocator>} is \tcode{false}.
 
 \pnum
 \effects
diff --git a/source/iterators.tex b/source/iterators.tex
index b14ca039a5..49e4f09bfa 100644
--- a/source/iterators.tex
+++ b/source/iterators.tex
@@ -4211,7 +4211,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{Iterator} satisfies \libconcept{copy_constructible}.
+\constraints
+\tcode{Iterator} satisfies \libconcept{copy_constructible}.
 
 \pnum
 \expects
diff --git a/source/lib-intro.tex b/source/lib-intro.tex
index 5793ad6852..5cb1b84157 100644
--- a/source/lib-intro.tex
+++ b/source/lib-intro.tex
@@ -592,7 +592,8 @@
 \requires the preconditions for calling the function.
 
 \item
-\constraints the conditions for the function's participation
+\constraints
+the conditions for the function's participation
 in overload resolution\iref{over.match}.
 \begin{note}
 Failure to meet such a condition results in the function's silent non-viability.
diff --git a/source/support.tex b/source/support.tex
index f6771f9ba3..2f925c6493 100644
--- a/source/support.tex
+++ b/source/support.tex
@@ -346,7 +346,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_integral_v<IntType>} is \tcode{true}.
+\constraints
+\tcode{is_integral_v<IntType>} is \tcode{true}.
 
 \pnum
 \effects
@@ -362,7 +363,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_integral_v<IntType>} is \tcode{true}.
+\constraints
+\tcode{is_integral_v<IntType>} is \tcode{true}.
 
 \pnum
 \effects
@@ -381,7 +383,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_integral_v<IntType>} is \tcode{true}.
+\constraints
+\tcode{is_integral_v<IntType>} is \tcode{true}.
 
 \pnum
 \effects
@@ -397,7 +400,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_integral_v<IntType>} is \tcode{true}.
+\constraints
+\tcode{is_integral_v<IntType>} is \tcode{true}.
 
 \pnum
 \effects
@@ -509,7 +513,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_integral_v<IntType>} is \tcode{true}.
+\constraints
+\tcode{is_integral_v<IntType>} is \tcode{true}.
 
 \pnum
 \effects
diff --git a/source/utilities.tex b/source/utilities.tex
index f9760241f8..f276e7f987 100644
--- a/source/utilities.tex
+++ b/source/utilities.tex
@@ -1261,7 +1261,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_move_constructible_v<$\tcode{T}_i$>} is \tcode{true} for all $i$.
+\constraints
+\tcode{is_move_constructible_v<$\tcode{T}_i$>} is \tcode{true} for all $i$.
 
 \pnum
 \effects
@@ -9195,7 +9196,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_move_constructible_v<D>} is \tcode{true}.
+\constraints
+\tcode{is_move_constructible_v<D>} is \tcode{true}.
 
 \pnum
 \requires If \tcode{D} is not a reference type,
@@ -9301,7 +9303,8 @@
 
 \begin{itemdescr}
 \pnum
-\constraints \tcode{is_move_assignable_v<D>} is \tcode{true}.
+\constraints
+\tcode{is_move_assignable_v<D>} is \tcode{true}.
 
 \pnum
 \requires If \tcode{D} is not a reference type, \tcode{D} shall meet the
diff --git a/tools/check.sh b/tools/check.sh
index 482ee52bcc..9f5dbd17cb 100755
--- a/tools/check.sh
+++ b/tools/check.sh
@@ -28,8 +28,8 @@ grep -n 'opt{}' *.tex && exit 1
 grep -n "// not defined" $texfiles | sed 's/$/ <--- use \\notdef instead/' | grep . && exit 1
 
 # Library element introducer followed by stuff.
-grep -ne '^\\\(contraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\).\+$' $texfiles && exit 1
-# Fixup: sed 's/^\\\(contraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\)\s*\(.\)/\\\1\n\2/'
+grep -ne '^\\\(constraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\).\+$' $texfiles && exit 1
+# Fixup: sed 's/^\\\(constraints\|mandates\|expects\|effects\|sync\|ensures\|returns\|throws\|complexity\|remarks\|errors\)\s*\(.\)/\\\1\n\2/'
 # Fixup: sed 's/^\\ //'
 
 # Change marker in [diff] followed by stuff.