From 8d0a7e56bf16ae884cb248a9bd44f1530e37b611 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Wed, 26 Oct 2016 17:24:47 +0200
Subject: [PATCH] docs: don't mess with spacing, it looks crappy
---
docs/iris.sty | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index f9e1dcae8..8999ed4bd 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -268,10 +268,10 @@
\tensor*[^{#1}]{#2}{^{#3}}
}%
}}%
-\NewDocumentCommand \vs {O{} O{}} {\kern-0.5ex\vsGen[#1]{\Rrightarrow}[#2]}
-\NewDocumentCommand \vsL {O{} O{}} {\kern-0.5ex\vsGen[#1]{\Lleftarrow}[#2]}
+\NewDocumentCommand \vs {O{} O{}} {\vsGen[#1]{\Rrightarrow}[#2]}
+\NewDocumentCommand \vsL {O{} O{}} {\vsGen[#1]{\Lleftarrow}[#2]}
\NewDocumentCommand \vsE {O{} O{}} %
- {\kern-0.5ex\vsGen[#1]{\Lleftarrow\!\!\!\Rrightarrow}[#2]}
+ {\vsGen[#1]{\Lleftarrow\!\!\!\Rrightarrow}[#2]}
\NewDocumentCommand \pvs {O{} O{}} {\mathord{\vsGen[#1]{{\mid\kern-0.5ex\Rrightarrow\kern-0.25ex}}[#2]\kern0.2ex}}
\newcommand\vsWand{{\displaystyle\equiv\kern-1.6ex-\kern-1.5ex\smash{\scalerel*{\vphantom-\ast}{\sum}}\kern-0.2ex}}
--
GitLab