From 476bad449b64ca0ee8c375a07b8a3989152c1d65 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Mar 2016 16:17:59 +0100
Subject: [PATCH] update iris.sty
---
docs/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index 0b5ca1b60..73b727b20 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -145,7 +145,7 @@
\newcommand{\mcar}[1]{|#1|}
\newcommand{\mcarp}[1]{\mcar{#1}^{+}}
\newcommand{\munit}{\varepsilon}
-\newcommand{\mcore}[1]{\lfloor#1\rfloor}
+\newcommand{\mcore}[1]{\llparenthesis#1\rrparenthesis}
\newcommand{\mtimes}{\mathbin{\cdot}}
\newcommand{\mupd}{\rightsquigarrow}
--
GitLab