chiark / gitweb /
{not,}{in,has}patch
[topbloke-formulae.git] / article.tex
1 \documentclass[a4paper]{article}
2 \usepackage{MnSymbol}
3 \usepackage{stmaryrd}
4 \usepackage{slashed}
5 \begin{document}
6 \newcommand{\nothaspatch}{{%
7   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsupset}\slashed{\Sqsupset}}}
8 \newcommand{\notinpatch}{{%
9   \declareslashed{}{\sslash}{-0.04}{0}{\Sqsubset}\slashed{\Sqsubset}}}
10 \newcommand{\haspatch}{\Sqsupset}
11 \newcommand{\inpatch}{\Sqsubset}
12 sponge
13 $ A \sqsubseteq B $
14 $ A \not \sqsubseteq B $
15 $ A \nsqsubseteq B $
16 $ A \Sqsubset B $
17 $ A \Sqsupset B $
18 $ A \haspatch B $
19 $ A \nothaspatch B $
20 $ A \inpatch B $
21 $ A \notinpatch B $
22 \end{document}