WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23425,7 +23425,8 @@ \subsection{Same Type}
   }
 \item $S$ is of the form $S'?$ and $T$ is of the form $T'?$,
   and $S'$ is the same type as $T'$.
-\item $S$ is of the form \code{$X$\&$U$} and $T$ is of the form \code{$X$\&$V$},
+\item $S$ is of the form \code{$X$\,\,\&\,\,$U$}
+  and $T$ is of the form \code{$X$\,\,\&\,\,$V$},
   and $U$ is the same type as $V$.
 \item $S$ is of the form \code{$C$<$U_1$, \ldots\ $U_s$>},
   and $T$ is of the form \code{$D$<$V_1$, \ldots\ $V_s$>},