diff --git a/source/ranges.tex b/source/ranges.tex
index 55e971ad72..f6f06cab7c 100644
--- a/source/ranges.tex
+++ b/source/ranges.tex
@@ -8839,14 +8839,14 @@
 \begin{itemize}
 \item
 If
-\tcode{is_reference_v<\exposid{concat-reference-t}<@\exposid{maybe-const}@<Const, Views>...>>}
+\tcode{is_reference_v<\exposid{concat-reference-t}<\exposid{maybe-const}<Const, Views>...>>}
 is \tcode{false},
-then \tcode{it\-erator_category} denotes \tcode{input_iterator_tag}.
+then \tcode{iter\-ator_category} denotes \tcode{input_iterator_tag}.
 
 \item
 Otherwise,
 let \tcode{Cs} denote the pack of types
-\tcode{iterator_traits<iterator_t<@\exposid{maybe-const}@<Const, Views>>>::iterator_category...}.
+\tcode{iterator_traits<iterator_t<\exposid{maybe-const}<Const, Views>>>::iterator_category...}.
 \begin{itemize}
 \item
 If
@@ -9471,7 +9471,7 @@
 \end{codeblock}
 where \tcode{its} is a pack of lvalues of type
 %FIXME "respectively" doesn't make sense here.
-\tcode{const iterator_t<@\exposid{maybe-const}@<Const, Views>>} respectively.
+\tcode{const iterator_t<\exposid{maybe-const}<Const, Views>>} respectively.
 
 \par % This paragraph is part of the \remarks clause.
 The expression in the \grammarterm{requires-clause} is equivalent to