From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 29 Feb 2012 21:00:45 +0000 (+0000)
Subject: pay pan etc.
X-Git-Tag: f0.2~214
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=e699df403adb72f770cc724de5e6e4128d576bb4;p=topbloke-formulae.git

pay pan etc.
---

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}