From 5f230a8e1a827abb5b82a98b1fd72b9e1bfdcb0b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 8 Mar 2016 19:10:16 +0100
Subject: [PATCH] docs: actually having some start symbol for wpre makes it way
more readable
---
docs/iris.sty | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index 320e11c19..5f2345abd 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -194,7 +194,7 @@
\newcommand{\fgmapsto}[1][\mathrm{-}]{\xhookrightarrow{#1}}%
\NewDocumentCommand\wpre{m O{} m}%
- {{#1} \spac \prescript{}{#2}{\kern-0.2ex\{#3\}}}
+ {\textlog{wp}_{#2}\spac#1\spac{\{#3\}}}
\newcommand{\later}{\mathord{\triangleright}}
\newcommand{\always}{\Box{}}
--
GitLab