From f9a1045e9f58102b74c9c74530c6f365b7e15077 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 9 Mar 2016 16:47:14 +0100
Subject: [PATCH] different style for mval

---
 docs/iris.sty | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/iris.sty b/docs/iris.sty
index b0093f100..b5e3df222 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}
-- 
GitLab