diff --git a/extras/latex/lstlean.tex b/extras/latex/lstlean.tex
index d28462d63..3904f3620 100644
--- a/extras/latex/lstlean.tex
+++ b/extras/latex/lstlean.tex
@@ -128,6 +128,8 @@ literate=
 {⬝}{{\ensuremath{\cdot}}}1
 {•}{{\ensuremath{\cdot}}}1
 {∘}{{\ensuremath{\circ}}}1
+{`}{{\ensuremath{{}^\backprime}}}1
+{'}{{\ensuremath{{}^\prime}}}1
 
 %{⁻}{{\ensuremath{^{\textup{\kern1pt\rule{2pt}{0.3pt}\kern-1pt}}}}}1
 {⁻}{{\ensuremath{^{-}}}}1
@@ -205,12 +207,13 @@ literate=
 {∀}{{\color{symbolcolor}\ensuremath{\forall}}}1
 {∃}{{\color{symbolcolor}\ensuremath{\exists}}}1
 {λ}{{\color{symbolcolor}\ensuremath{\mathrm{\lambda}}}}1
+{Ω}{{\color{symbolcolor}\ensuremath{\Omega}}}1
 
 {:=}{{\color{symbolcolor}:=}}1
 {=}{{\color{symbolcolor}=}}1
 {<}{{\color{symbolcolor}<}}1
 {+}{{\color{symbolcolor}+}}1
-{*}{{\color{symbolcolor}*}}1,
+{*}{{\color{symbolcolor}\ensuremath{{}^{*}}}}1,
 
 % Comments
 %comment=[s][\itshape \color{commentcolor}]{/-}{-/},