article.tex

   1 \documentclass[a4paper]{article}
   2 \usepackage{MnSymbol}
   3 \usepackage{stmaryrd}
   4 \usepackage{slashed}
   5 \usepackage{txfonts}
   6 \usepackage{accents}
   7 \begin{document}
   8
   9 \renewcommand{\ge}{\geqslant}
  10 \renewcommand{\le}{\leqslant}
  11
  12 \newcommand{\has}{\sqsupseteq}
  13 \newcommand{\isin}{\sqsubseteq}
  14
  15 \newcommand{\nothaspatch}{{%
  16   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsupset}\slashed{\Sqsupset}}}
  17 \newcommand{\notpatchisin}{{%
  18   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsubset}\slashed{\Sqsubset}}}
  19 \newcommand{\haspatch}{\Sqsupset}
  20 \newcommand{\patchisin}{\Sqsubset}
  21
  22 \newcommand{\pa}[1]{\mathbb #1}
  23 \newcommand{\pay}[1]{\pa{#1}^+}
  24 \newcommand{\pan}[1]{\pa{#1}^-}
  25
  26 \newcommand{\p}{\pa{P}}
  27 \newcommand{\py}{\pay{P}}
  28 \newcommand{\pn}{\pan{P}}
  29
  30 %\newcommand{\hasparents}{\underaccent{1}{>}}
  31 %\newcommand{\hasparents}{{%
  32 %  \declareslashed{}{_{_1}}{0}{-0.8}{>}\slashed{>}}}
  33 \newcommand{\hasparents}{>_{\mkern-7.0mu _1}}
  34 \newcommand{\areparents}{<_{\mkern-14.0mu _1\mkern+5.0mu}}
  35
  36 sponge
  37 $ C \hasparents X $
  38 $ C > X $
  39 $ X \areparents C $
  40 $ X < C $
  41 $ D \isin C $
  42 $ A \sqsubseteq B $
  43 $ A \not \sqsubseteq B $
  44 $ A \nsqsubseteq B $
  45 $ A \le B $
  46 $ A \Sqsubset B $
  47 $ A \Sqsupset B $
  48 $ A \haspatch B $
  49 $ A \nothaspatch B $
  50 $ A \patchisin B $
  51 $ A \notpatchisin B $
  52 $ A \nothaspatch \pa{C} $
  53 $ A \nothaspatch \py $
  54 $ A \nothaspatch \p_C^+ $
  55 $ A \nothaspatch \pan{C} $
  56 \end{document}