diff --git a/typing/type-system.tex b/typing/type-system.tex
index 7d1f9dd..8357118 100644
--- a/typing/type-system.tex
+++ b/typing/type-system.tex
@@ -50,7 +50,7 @@
   \inferrule{ }{\Gamma; x:\tau \vdash x:\tau}(Var)
 
   \and
-  \inferrule{ }{\Gamma \vdash c:{B}(c)}(Const) %TODO: change B's font
+  \inferrule{ }{\Gamma \vdash c:\mathcal{B}(c)}(Const)
 
   \and
   \inferrule{%