[stmt.ranged] Repeat grammar snippet to clarify what we mean by a

"range-based for statement", and improve formatting to match that of
[stmt.for].

Also add some missing italics for grammar terms in [stmt.for].

Author: zygoloid

source/statements.tex

@@ -475,11 +475,11 @@
 
 except that names declared in the \grammarterm{for-init-statement} are in
 the same declarative region as those declared in the
-\grammarterm{}{condition}, and except that a
+\grammarterm{condition}, and except that a
 \indextext{statement!\tcode{continue}~in \tcode{for}}%
-\tcode{continue} in \grammarterm{}{statement} (not enclosed in another
-iteration statement) will execute \grammarterm{}{expression} before
-re-evaluating \grammarterm{}{condition}.
+\tcode{continue} in \grammarterm{statement} (not enclosed in another
+iteration statement) will execute \grammarterm{expression} before
+re-evaluating \grammarterm{condition}.
 \enternote
 Thus the first statement specifies initialization for the loop; the
 condition~(\ref{stmt.select}) specifies a test, sequenced before each
@@ -489,8 +489,10 @@
 \exitnote
 
 \pnum
-Either or both of the condition and the expression can be omitted. A
-missing \grammarterm{}{condition} makes the implied \tcode{while} clause
+Either or both of the \grammarterm{condition}
+and the \grammarterm{expression} can be omitted.
+A missing \grammarterm{condition}
+makes the implied \tcode{while} clause
 equivalent to \tcode{while(true)}.
 
 \pnum
@@ -515,20 +517,26 @@
 \indextext{statement!range~based \idxcode{for}}
 
 \pnum
-A range-based \tcode{for} statement is equivalent to
+The range-based \tcode{for} statement
 
-\begin{codeblock}
-{
-  auto && __range = @\grammarterm{for-range-initializer}@;
-  for ( auto __begin = begin-expr,
-             __end = end-expr;
-        __begin != __end;
-        ++__begin ) {
-    @\grammarterm{for-range-declaration}@ = *__begin;
-    @\grammarterm{statement}@
-  }
-}
-\end{codeblock}
+\begin{ncbnf}
+\terminal{for (} for-range-declaration \terminal{:} for-range-initializer \terminal{)} statement
+\end{ncbnf}
+
+is equivalent to
+
+\begin{ncbnftab}
+\terminal{\{}\br
+\>\terminal{auto \&\&__range =} for-range-initializer \terminal{;}\br
+\>\terminal{for ( auto __begin =} begin-expr \terminal{,}\br
+\>\terminal{ \ \ \ \ \ \ \ \ \ \ __end =} end-expr \terminal{;}\br
+\>\terminal{ \ \ \ \ \ __begin != __end;}\br
+\>\terminal{ \ \ \ \ \ ++__begin ) \{}\br
+\>\>for-range-declaration \terminal{= *__begin;}\br
+\>\>statement\br
+\>\terminal{\}}\br
+\terminal{\}}
+\end{ncbnftab}
 
 where