diff --git a/docs/docs.pdf b/docs/docs.pdf
index 9a0431d..8c3ed21 100644
Binary files a/docs/docs.pdf and b/docs/docs.pdf differ
diff --git a/extra/minted.tex b/extra/minted.tex
index 907b2d4..2d448d2 100644
--- a/extra/minted.tex
+++ b/extra/minted.tex
@@ -10,6 +10,7 @@
     breakindentnchars=2,
     frame=lines,
     framesep=2mm,
+    mathescape,
     baselinestretch=1.1,
     linenos]{#1}}
 {\end{minted}}