From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Feb 2012 19:00:19 +0000 (+0000)
Subject: {not,}{in,has}patch
X-Git-Tag: f0.2~215
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=3721560fd902a81c7e21dc0376b78249228b7253;p=topbloke-formulae.git

{not,}{in,has}patch
---

diff --git a/article.tex b/article.tex
index 714fbd1..405dbbd 100644
--- a/article.tex
+++ b/article.tex
@@ -3,19 +3,20 @@
 \usepackage{stmaryrd}
 \usepackage{slashed}
 \begin{document}
-\def\iwjtest{{/\mkern-9mu\Sqsupset}}
-\newcommand{\iwjtestx}{\mathrel{\ooalign{$\Sqsubset$ $\sslash$}}}
-\newcommand{\iwjtesty}{{%
+\newcommand{\nothaspatch}{{%
+  \declareslashed{}{\sslash}{-0.04}{0}{\Sqsupset}\slashed{\Sqsupset}}}
+\newcommand{\notinpatch}{{%
   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsubset}\slashed{\Sqsubset}}}
+\newcommand{\haspatch}{\Sqsupset}
+\newcommand{\inpatch}{\Sqsubset}
 sponge
 $ A \sqsubseteq B $
 $ A \not \sqsubseteq B $
 $ A \nsqsubseteq B $
 $ A \Sqsubset B $
 $ A \Sqsupset B $
-$ \sslash $
-$ \iwjtest $
-$ \iwjtestx $
-$ \iwjtesty $
-$ A \iwjtesty B $
+$ A \haspatch B $
+$ A \nothaspatch B $
+$ A \inpatch B $
+$ A \notinpatch B $
 \end{document}