diff --git a/docs/base-logic.tex b/docs/base-logic.tex
index 8f0a53269e5578505ca4cdb5b3ced605fdb71a75..67036e54efe32a76196e35090f29976627c8e8ef 100644
--- a/docs/base-logic.tex
+++ b/docs/base-logic.tex
@@ -39,7 +39,7 @@ Below, $\melt$ ranges over $\monoid$ and $i$ ranges over $\set{1,2}$.
       \type \to \type
 \\[0.4em]
   \term, \prop, \pred \bnfdef{}&
-      \var \bm\mid
+      \var \mid
       \sigfn(\term_1, \dots, \term_n) \mid
       \textlog{abort}(\term) \mid
       () \mid