[diff] Be consistent in formatting and add introductions to examples.

Author: Dawn Perchik

source/compatibility.tex

@@ -873,7 +873,7 @@
 this International Standard. Specifically, macros named \tcode{R}, \tcode{u8},
 \tcode{u8R}, \tcode{u}, \tcode{uR}, \tcode{U}, \tcode{UR}, or \tcode{LR} will
 not be expanded when adjacent to a string literal but will be interpreted as
-part of the string literal. For example,
+part of the string literal. For example:
 
 \begin{codeblock}
 #define u8 "abc"
@@ -885,7 +885,7 @@
 \rationale Required for new features.
 \effect
 Valid \CppIII{} code may fail to compile or produce different results in
-this International Standard, as the following example illustrates.
+this International Standard, as the following example illustrates:
 
 \begin{codeblock}
 #define _x "there"
@@ -1467,6 +1467,7 @@
 by aggregate initialization.
 \effect
 Valid \CppXI{} code may fail to compile or may change meaning in this International Standard.
+For example:
 \begin{codeblock}
 struct S { // Aggregate in \CppXIV{} onwards.
   int m = 1;
@@ -1530,6 +1531,7 @@
 this International Standard. Specifically, character sequences like \tcode{0p+0}
 and \tcode{0e1_p+0} are three separate tokens each in \CppXIV{}, but one single token
 in this International Standard.
+For example:
 
 \begin{codeblock}
 #define F(a) b ## a
@@ -1588,7 +1590,8 @@
 \rationale Improve type-safety.
 \effect
 Valid \CppXIV{} code may fail to compile or change meaning in this
-International Standard:
+International Standard.
+For example:
 
 \begin{codeblock}
 void g1() noexcept;
@@ -1605,7 +1608,8 @@
 Valid \CppXIV{} code may fail to compile or produce different results in this
 International Standard; initialization from an empty initializer list will
 perform aggregate initialization instead of invoking a default constructor
-for the affected types:
+for the affected types.
+For example:
 \begin{codeblock}
 struct derived;
 struct base {
@@ -1655,7 +1659,8 @@
 allows partial specializations to decompose
 from the type deduced for the non-type template argument.
 \effect Valid \CppXIV{} code may fail to compile
-or produce different results in this International Standard:
+or produce different results in this International Standard.
+For example:
 \begin{codeblock}
 template <int N> struct A;
 template <typename T, T N> int foo(A<N> *) = delete;