lie-algebras-and-their-representations

diff --git a/sections/mathieu.tex b/sections/mathieu.tex
@@ -488,11 +488,10 @@
 
 \begin{definition}
   Let \(R\) be a ring. A subset \(S \subset R\) is called \emph{multiplicative}
-  if \(s \cdot t \in S\) for all \(s, t \in S\) and \(0 \notin S\).
-  A multiplicative subset \(S\) is said to satisfy \emph{Ore's localization
+  if \(s \cdot t \in S\) for all \(s, t \in S\) and \(0 \notin S\). A
+  multiplicative subset \(S\) is said to satisfy \emph{Ore's localization
   condition} if for each \(r \in R\), \(s \in S\) there exists \(u_1, u_2 \in
-  R\) and \(t_1, t_2 \in S\) such that \(s^{-1} r = u_1 t_1^{-1}\) and \(r
-  s^{-1} = t_2^{-1} u_2\).
+  R\) and \(t_1, t_2 \in S\) such that \(s r = u_1 t_1\) and \(r s = t_2 u_2\).
 \end{definition}
 
 \begin{theorem}[Ore-Asano]