\newcommand{\has}{\sqsupseteq}
\newcommand{\isin}{\sqsubseteq}
-\newcommand{\nothaspatch}{{%
- \declareslashed{}{\sslash}{-0.04}{0}{\sqSupset}\slashed{\sqSupset}}}
-\newcommand{\notpatchisin}{{%
- \declareslashed{}{\sslash}{-0.04}{0}{\sqSubset}\slashed{\sqSubset}}}
+\newcommand{\nothaspatch}{\mathrel{\,\not\!\not\relax\haspatch}}
+\newcommand{\notpatchisin}{\mathrel{\,\not\!\not\relax\patchisin}}
\newcommand{\haspatch}{\sqSupset}
\newcommand{\patchisin}{\sqSubset}
$ C \nothaspatch \p $
+$ \p \patchisin C $
+
+$ \p \notpatchisin C $
+
$ \{ B \} \areparents C $
\end{document}