From e699df403adb72f770cc724de5e6e4128d576bb4 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Feb 2012 21:00:45 +0000
Subject: [PATCH] pay pan etc.

---
 article.tex | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/article.tex b/article.tex
index 405dbbd..e8f44b5 100644
--- a/article.tex
+++ b/article.tex
@@ -2,6 +2,7 @@
 \usepackage{MnSymbol}
 \usepackage{stmaryrd}
 \usepackage{slashed}
+\usepackage{txfonts}
 \begin{document}
 \newcommand{\nothaspatch}{{%
   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsupset}\slashed{\Sqsupset}}}
@@ -9,6 +10,15 @@
   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsubset}\slashed{\Sqsubset}}}
 \newcommand{\haspatch}{\Sqsupset}
 \newcommand{\inpatch}{\Sqsubset}
+
+\newcommand{\pa}[1]{\varmathbb #1}
+\newcommand{\pay}[1]{\pa{#1}^+}
+\newcommand{\pan}[1]{\pa{#1}^-}
+
+\newcommand{\p}{\pa{P}}
+\newcommand{\py}{\pay{P}}
+\newcommand{\pn}{\pan{P}}
+
 sponge
 $ A \sqsubseteq B $
 $ A \not \sqsubseteq B $
@@ -19,4 +29,8 @@ $ A \haspatch B $
 $ A \nothaspatch B $
 $ A \inpatch B $
 $ A \notinpatch B $
+$ A \nothaspatch \pa{C} $
+$ A \nothaspatch \py $
+$ A \nothaspatch \p_C^+ $
+$ A \nothaspatch \pan{C} $
 \end{document}
-- 
2.30.2