lie-algebras-and-their-representations

diff --git a/sections/mathieu.tex b/sections/mathieu.tex
@@ -558,12 +558,11 @@
 \begin{corollary}
   Let \(\Sigma\) be as in lemma~\ref{thm:nice-basis-for-inversion} and
   \((F_\beta)_{\beta \in \Sigma} \subset \mathcal{U}(\mathfrak{g})\) be the
-  multiplicative subset \((F_\beta)_{\beta \in \Sigma}\) generated by the
-  \(F_\beta\)'s. The \(K\)-algebra \(\Sigma^{-1} \mathcal{U}(\mathfrak{g}) =
-  (F_\beta)_{\beta \in \Sigma}^{-1} \mathcal{U}(\mathfrak{g})\) is well
-  defined. Moreover, if we denote by \(\Sigma^{-1} V\) the localization of
-  \(V\) by \((F_\beta)_{\beta \in \Sigma}\), the localization map \(V \to
-  \Sigma^{-1} V\) is injective.
+  multiplicative subset generated by the \(F_\beta\)'s. The \(K\)-algebra
+  \(\Sigma^{-1} \mathcal{U}(\mathfrak{g}) = (F_\beta)_{\beta \in \Sigma}^{-1}
+  \mathcal{U}(\mathfrak{g})\) is well defined. Moreover, if we denote by
+  \(\Sigma^{-1} V\) the localization of \(V\) by \((F_\beta)_{\beta \in
+  \Sigma}\), the localization map \(V \to \Sigma^{-1} V\) is injective.
 \end{corollary}
 
 % TODO: Fix V and Sigma beforehand