From a7b651f548e79beb52b5fa4e7d340b286eba7fa7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 6 Jun 2020 23:27:48 +0200
Subject: [PATCH] make local update font consistent with other notation

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

diff --git a/tex/iris.sty b/tex/iris.sty
index d802c8110..0704079a9 100644
--- a/tex/iris.sty
+++ b/tex/iris.sty
@@ -194,7 +194,7 @@
 \newcommand{\exclusive}{\textlog{exclusive}}
 
 \newcommand{\mupd}{\rightsquigarrow}
-\newcommand{\lupd}{\rightsquigarrow_{\mathfrak{L}}}
+\newcommand{\lupd}{\rightsquigarrow_{\textlog{L}}}
 \newcommand{\mincl}[1][]{%
   \ensuremath{\mathrel{\vbox{\offinterlineskip\ialign{%
     \hfil##\hfil\cr
-- 
GitLab