From 2b7b36ce389cd8264130bd49db96287ade3e5631 Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 18 Oct 2016 23:10:44 +0200
Subject: [PATCH] Tweak macros for maps.
---
docs/iris.sty | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index 5b85dfb08..f9e1dcae8 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -83,9 +83,10 @@
\newcommand{\subst}[3]{{#1}[{#3} / {#2}]}
-\newcommand{\mapinsert}[3]{#3[#1:=#2]}
-\newcommand{\mapsingleton}[2]{[#1:=#2]}
-\newcommand{\mapsingletonComp}[3]{\left[ #1 := #2 \spac\middle|\spac #3 \right]}
+\newcommand{\mapinsert}[3]{#3[#1\mathop{\vcentcolon=}#2]}
+\newcommand{\mapsingleton}[2]{[#1\mathop{\vcentcolon=}#2]}
+\newcommand{\mapsingletonComp}[3]
+ {\left[ #1 \mathop{\vcentcolon=} #2 \spac\middle|\spac #3 \right]}
\newcommand{\nil}{\epsilon}
--
GitLab