pay pan etc.

diff --git a/article.tex b/article.tex
index 405dbbd2f47f080002190ddb4989b06a918626e9..e8f44b514c2f188281bc8f0a4ad985d6c10377fc 100644 (file)
--- 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}