article.tex

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