[over.oper] Dissolve bnfkeytab, use space-aligned bnf for all operator listings.

Author: tkoeppe

source/overloading.tex

@@ -3073,14 +3073,16 @@
     \terminal{operator} operator
 \end{bnf}
 
-\begin{bnfkeywordtab}
+\begin{bnf}
+%% Ed. note: character protrusion would misalign various operators.
+\microtypesetup{protrusion=false}\obeyspaces
 \nontermdef{operator} \textnormal{one of}\br
-\>new\>delete\>new[]\>delete[]\>(\,)\>[\,]\>->\>->*\>\~\br
-\>!\>+\>-\>*\>/\>\%\>\caret\>\&\>|\br
-\>=\>+=\>-=\>*=\>/=\>\%=\>\caret=\>\&=\>|=\br
-\>={=}\>!=\><\>>\><=\>>=\><=>\>\&\&\>|{|}\br
-\><<\>>>\><<=\>>>=\>++\>-{-}\>,\br
-\end{bnfkeywordtab}
+\terminal{new      delete   new[]    delete[] (\rlap{\,)}        [\rlap{\,]}        ->       ->*      \~}\br
+\terminal{!        +        -        *        /        \%        \caret{}        \&        |}\br
+\terminal{=        +=       -=       *=       /=       \%=       \caret{}=       \&=       |=}\br
+\terminal{==       !=       <        >        <=       >=       <=>      \&\&       ||}\br
+\terminal{<<       >>       <<=      >>=      ++       --       ,}\br
+\end{bnf}
 \begin{note}
 The last two operators are function call\iref{expr.call}
 and subscripting\iref{expr.sub}.
@@ -3097,21 +3099,17 @@
 
 \pnum
 Both the unary and binary forms of
-
-\begin{codeblock}
-+    -    *     &
-\end{codeblock}
-
+\begin{ncsimplebnf}\obeyspaces
+\terminal{+      -      *      \&}
+\end{ncsimplebnf}
 can be overloaded.
 
 \pnum
 \indextext{restriction!operator overloading}%
 The following operators cannot be overloaded:
-
-\begin{codeblock}
-.    .*   ::    ?:
-\end{codeblock}
-
+\begin{ncsimplebnf}\obeyspaces
+\terminal{.      .*     ::     ?:}
+\end{ncsimplebnf}
 nor can the preprocessing symbols
 \tcode{\#}
 and