Fixing some last doc things.

Author: tscrim

src/sage/algebras/lie_algebras/bgg_dual_module.py

@@ -265,7 +265,7 @@ def dual(self):
         r"""
         Return the dual module of ``self``.
 
-        In Category `\mathcal{O}`, we have `(M^{\vee})^{\vee} \conj M`, so
+        In Category `\mathcal{O}`, we have `(M^{\vee})^{\vee} \cong M`, so
         we return the defining module `M` of `M^{\vee}`.
 
         EXAMPLES::
@@ -788,7 +788,7 @@ def cardinality(self):
 class SimpleModule(ModulePrinting, CombinatorialFreeModule):
     r"""
     Return the simple module `L_{\lambda}` as the image of the natural
-    morphism `\phi \colom M_{\lambda} \to M_{\lambda}^{\vee}`.
+    morphism `\phi: M_{\lambda} \to M_{\lambda}^{\vee}`.
     """
     @staticmethod
     def __classcall_private__(cls, g, weight, *args, **kwds):

src/sage/algebras/lie_algebras/verma_module.py

@@ -123,7 +123,7 @@ class VermaModule(ModulePrinting, CombinatorialFreeModule):
 
     where `F_{\lambda}` is the `U(\mathfrak{b})` module such that
     `h \in U(\mathfrak{h})` acts as multiplication by
-    `\langle \lambda, h \rangle` and `U\mathfrak{g}^+) F_{\lambda} = 0`.
+    `\langle \lambda, h \rangle` and `U(\mathfrak{g}^+) F_{\lambda} = 0`.
 
     INPUT: