[std] Remove unnecessary bracketing in tcode.

Author: Eelis

source/expressions.tex

@@ -2856,7 +2856,7 @@
     postfix-expression \terminal{.} \opt{\terminal{template}} id-expression\br
     postfix-expression \terminal{->} \opt{\terminal{template}} id-expression\br
     postfix-expression \terminal{++}\br
-    postfix-expression \terminal{-{-}}\br
+    postfix-expression \terminal{--}\br
     \keyword{dynamic_cast} \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
     \keyword{static_cast} \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
     \keyword{reinterpret_cast} \terminal{<} type-id \terminal{>} \terminal{(} expression \terminal{)}\br
@@ -2876,7 +2876,7 @@
 \grammarterm{type-id} in a \tcode{dynamic_cast},
 \tcode{static_cast}, \tcode{reinterpret_cast}, or
 \tcode{const_cast} might be the product of replacing a
-\tcode{>{>}} token by two consecutive \tcode{>}
+\tcode{>>} token by two consecutive \tcode{>}
 tokens\iref{temp.names}.
 \end{note}
 
@@ -4200,7 +4200,7 @@
     postfix-expression\br
     unary-operator cast-expression\br
     \terminal{++} cast-expression\br
-    \terminal{-{-}} cast-expression\br
+    \terminal{--} cast-expression\br
     await-expression\br
     \keyword{sizeof} unary-expression\br
     \keyword{sizeof} \terminal{(} type-id \terminal{)}\br

source/iterators.tex

@@ -620,7 +620,7 @@
 the result of \tcode{n} applications of \tcode{++i}.
 A counted range \countedrange{i}{n} is valid if and only if \tcode{n == 0};
 or \tcode{n} is positive, \tcode{i} is dereferenceable,
-and \countedrange{++i}{-{-}n} is valid.
+and \countedrange{++i}{--n} is valid.
 
 \pnum
 The result of the application of library functions
@@ -1255,7 +1255,7 @@
 \tcode{Out} and \tcode{T} model \tcode{\libconcept{indirectly_writable}<Out, T>} only if
 \begin{itemize}
 \item If \tcode{Out} and \tcode{T} model
-  \tcode{\libconcept{indirectly_readable}<Out> \&\& \libconcept{same_as}<iter_value_t<Out>, decay_t<T>{>}},
+  \tcode{\libconcept{indirectly_readable}<Out> \&\& \libconcept{same_as}<iter_value_t<Out>, decay_t<T>>},
   then \tcode{*o} after any above assignment is equal to
   the value of \tcode{E} before the assignment.
 \end{itemize}
@@ -3017,7 +3017,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{-{-}x; return x;}
+Equivalent to: \tcode{--x; return x;}
 \end{itemdescr}
 
 \indexlibraryglobal{prev}%
@@ -4566,7 +4566,7 @@
 ranges together with \tcode{move_iterator}. When an input iterator type
 \tcode{I} and sentinel type \tcode{S} model \tcode{\libconcept{sentinel_for}<S, I>},
 \tcode{move_sentinel<S>} and \tcode{move_iterator<I>} model
-\tcode{\libconcept{sentinel_for}<move_sentinel<S>, move_iterator<I>{>}} as well.
+\tcode{\libconcept{sentinel_for}<move_sentinel<S>, move_iterator<I>>} as well.
 
 \pnum
 \begin{example}
@@ -5399,7 +5399,7 @@
 \end{codeblock}
 \end{itemdescr}
 
-\indexlibrarymember{operator{-}-}{counted_iterator}%
+\indexlibrarymember{operator--}{counted_iterator}%
 \begin{itemdecl}
   constexpr counted_iterator& operator--()
     requires @\libconcept{bidirectional_iterator}@<I>;
@@ -5416,7 +5416,7 @@
 \end{codeblock}
 \end{itemdescr}
 
-\indexlibrarymember{operator{-}-}{counted_iterator}%
+\indexlibrarymember{operator--}{counted_iterator}%
 \begin{itemdecl}
   constexpr counted_iterator operator--(int)
     requires @\libconcept{bidirectional_iterator}@<I>;

source/templates.tex

@@ -54,7 +54,7 @@
 \grammarterm{template-parameter-list} of a
 \grammarterm{template-declaration}
 can be the product of replacing a
-\tcode{>{>}} token by two consecutive \tcode{>}
+\tcode{>>} token by two consecutive \tcode{>}
 tokens\iref{temp.names}.
 \end{note}
 
@@ -259,7 +259,7 @@
 \grammarterm{template-parameter-list} of a
 \grammarterm{type-parameter}
 can be the product of replacing a
-\tcode{>{>}} token by two consecutive \tcode{>}
+\tcode{>>} token by two consecutive \tcode{>}
 tokens\iref{temp.names}.
 \end{note}
 
@@ -730,7 +730,7 @@
 \end{footnote}
 is taken as the ending delimiter
 rather than a greater-than operator.
-Similarly, the first non-nested \tcode{>{>}} is treated as two
+Similarly, the first non-nested \tcode{>>} is treated as two
 consecutive but distinct \tcode{>} tokens, the first of which is taken
 as the end of the \grammarterm{template-argument-list} and completes
 the \grammarterm{template-id}.
@@ -2829,7 +2829,7 @@
 };
 
 typedef zip<short, int>::with<unsigned short, unsigned>::type T1;
-    // \tcode{T1} is \tcode{Tuple<Pair<short, unsigned short>, Pair<int, unsigned>{>}}
+    // \tcode{T1} is \tcode{Tuple<Pair<short, unsigned short>, Pair<int, unsigned>>}
 typedef zip<short>::with<unsigned short, unsigned>::type T2;
     // error: different number of arguments specified for \tcode{Args1} and \tcode{Args2}
 
@@ -4178,7 +4178,7 @@
 \begin{codeblock}
 template<class T> struct Alloc { @\commentellip@ };
 template<class T> using Vec = vector<T, Alloc<T>>;
-Vec<int> v;         // same as \tcode{vector<int, Alloc<int>{>} v;}
+Vec<int> v;         // same as \tcode{vector<int, Alloc<int>> v;}
 
 template<class T>
   void process(Vec<T>& v)

source/threads.tex

@@ -7158,7 +7158,7 @@
 \pnum
 \returns
 An object of type
-\tcode{future<invoke_result_t<decay_t<F>, decay_t<Args>...>{>}} that refers
+\tcode{future<invoke_result_t<decay_t<F>, decay_t<Args>...>>} that refers
 to the shared state created by this call to \tcode{async}.
 \begin{note}
 If a future obtained from \tcode{async} is moved outside the local scope,

source/utilities.tex

@@ -17351,7 +17351,7 @@
  struct add_cv;}                    &
  The member typedef \tcode{type} names
  the same type as
- \tcode{add_const_t<add_volatile_t<T>{>}}.                               \\
+ \tcode{add_const_t<add_volatile_t<T>>}.                               \\
 \end{libreqtab2a}
 
 \rSec3[meta.trans.ref]{Reference modifications}
@@ -17872,8 +17872,8 @@
 pursuant to \ref{namespace.std}, a program may partially specialize
 \tcode{basic_common_reference<T, U, TQual, UQual>}
 for types \tcode{T} and \tcode{U} such that
-\tcode{is_same_v<T, decay_t<T>{>}} and
-\tcode{is_same_v<U, decay_t<U>{>}} are each \tcode{true}.
+\tcode{is_same_v<T, decay_t<T>>} and
+\tcode{is_same_v<U, decay_t<U>>} are each \tcode{true}.
 \begin{note}
 Such specializations
 can be used to influence the result of \tcode{common_reference}, and