diff --git a/docs/iris.sty b/docs/iris.sty
index b0093f10070132209d2246c30c1985a4d6c515e6..b5e3df222d1a31f4870145f5559da7b06a235149 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -122,7 +122,7 @@
 \newcommand{\textmon}[1]{\textsc{#1}}
 
 \newcommand{\monoid}{M}
-\newcommand{\mval}{V}
+\newcommand{\mval}{\mathcal{V}}
 
 \newcommand{\melt}{a}
 \newcommand{\meltB}{b}