From c7f4f734340eccb9f98436edd7005fcbf2090136 Mon Sep 17 00:00:00 2001
From: Jacques-Henri Jourdan <jjourdan@mpi-sws.org>
Date: Tue, 18 Oct 2016 17:38:09 +0200
Subject: [PATCH] Linear VS that do not use tikz, so that the rendering does
not depend somewhat on the context.
---
docs/iris.sty | 8 ++------
1 file changed, 2 insertions(+), 6 deletions(-)
diff --git a/docs/iris.sty b/docs/iris.sty
index e39f1c341..5b85dfb08 100644
--- a/docs/iris.sty
+++ b/docs/iris.sty
@@ -271,13 +271,9 @@
\NewDocumentCommand \vsL {O{} O{}} {\kern-0.5ex\vsGen[#1]{\Lleftarrow}[#2]}
\NewDocumentCommand \vsE {O{} O{}} %
{\kern-0.5ex\vsGen[#1]{\Lleftarrow\!\!\!\Rrightarrow}[#2]}
-\NewDocumentCommand \pvs {O{} O{}} {\mathord{\vsGen[#1]{{\mid\kern-0.4ex\Rrightarrow\kern-0.25ex}}[#2]\kern0.2ex}}
+\NewDocumentCommand \pvs {O{} O{}} {\mathord{\vsGen[#1]{{\mid\kern-0.5ex\Rrightarrow\kern-0.25ex}}[#2]\kern0.2ex}}
-\newcommand\vsWand{\kern0.1ex\tikz[baseline=(base),line width=0.375pt]{%
- \draw (0, 0) -- (0.4, 0); \draw (0, -0.075) -- (0.28, -0.075); \draw (0, 0.075) -- (0.28, 0.075);
- \node at (0.4, -0.235) (ast) {$\smash{\scaleto{\ast}{1.2em}}$};
- \node at (0.4, -0.095) (base) {};
-}{\vphantom{\Rrightarrow}}\kern-1.2ex}
+\newcommand\vsWand{{\displaystyle\equiv\kern-1.6ex-\kern-1.5ex\smash{\scalerel*{\vphantom-\ast}{\sum}}\kern-0.2ex}}
\NewDocumentCommand \vsW {O{} O{}} {\vsGen[#1]{\vsWand}[#2]}
% for now, the update modality looks like a pvs without masks.
--
GitLab