WIP

Author: eernstg

specification/dartLangSpec.tex

@@ -23464,7 +23464,7 @@ \section*{Appendix: Algorithmic Subtyping}
   then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{S_0}{T_1}.
 \item
   \textbf{Left Type Variable Bound:}
-  $T_0$ is a type variable $X_0$ with bound $B_0$
+  If $T_0$ is a type variable $X_0$ with bound $B_0$
   then \SubtypeNE{T_0}{T_1} if{}f \SubtypeNE{B_0}{T_1}.
 \item
   \textbf{Function Type/Function:}