diff --git a/docs/iris.sty b/docs/iris.sty
index 320e11c19440e13cb2ea7dd9604a0d322ad3590d..5f2345abdc0bd6b2011d667a49639973b847fb37 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{}}