lie-algebras-and-their-representations

diff --git a/sections/introduction.tex b/sections/introduction.tex
@@ -689,9 +689,9 @@ century. Specifically, we find\dots
 \begin{proposition}\label{thm:geometric-realization-of-uni-env}
   Let \(G\) be a Lie group and \(\mathfrak{g}\) be its Lie algebra. Denote by
   \(\operatorname{Diff}(G)^G\) the algebra of \(G\)-invariant differential
-  operators in \(G\) -- i.e. the algebra of all differential operators \(L :
-  C^\infty(G) \to C^\infty(G)\) such that \((L(f \circ \ell_g)) \circ
-  \ell_{g^{-1}} = L f\) for all \(f \in C^\infty(G)\) and \(g \in G\). There is
+  operators in \(G\) -- i.e. the algebra of all differential operators \(P :
+  C^\infty(G) \to C^\infty(G)\) such that \((P(f \circ \ell_g)) \circ
+  \ell_{g^{-1}} = P f\) for all \(f \in C^\infty(G)\) and \(g \in G\). There is
   a canonical isomorphism of algebras \(\mathcal{U}(\mathfrak{g}) \isoto
   \operatorname{Diff}(G)^G\).
 \end{proposition}