article.tex

   1 \documentclass[a4paper]{article}
   2 \usepackage{MnSymbol}
   3 \usepackage{stmaryrd}
   4 \usepackage{slashed}
   5 \usepackage{txfonts}
   6 \begin{document}
   7 \newcommand{\nothaspatch}{{%
   8   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsupset}\slashed{\Sqsupset}}}
   9 \newcommand{\notinpatch}{{%
  10   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsubset}\slashed{\Sqsubset}}}
  11 \newcommand{\haspatch}{\Sqsupset}
  12 \newcommand{\inpatch}{\Sqsubset}
  13
  14 \newcommand{\pa}[1]{\varmathbb #1}
  15 \newcommand{\pay}[1]{\pa{#1}^+}
  16 \newcommand{\pan}[1]{\pa{#1}^-}
  17
  18 \newcommand{\p}{\pa{P}}
  19 \newcommand{\py}{\pay{P}}
  20 \newcommand{\pn}{\pan{P}}
  21
  22 sponge
  23 $ A \sqsubseteq B $
  24 $ A \not \sqsubseteq B $
  25 $ A \nsqsubseteq B $
  26 $ A \Sqsubset B $
  27 $ A \Sqsupset B $
  28 $ A \haspatch B $
  29 $ A \nothaspatch B $
  30 $ A \inpatch B $
  31 $ A \notinpatch B $
  32 $ A \nothaspatch \pa{C} $
  33 $ A \nothaspatch \py $
  34 $ A \nothaspatch \p_C^+ $
  35 $ A \nothaspatch \pan{C} $
  36 \end{document}