docs: actually having some start symbol for wpre makes it way more readable

5f230a8e · Ralf Jung · 27dfd62d · 5f230a8e
Commit 5f230a8e authored Mar 08, 2016 by Ralf Jung
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

docs/iris.sty docs/iris.sty +1 -1

No files found.
--- 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{}}