\newcommand{\has}{\sqsupseteq}
\newcommand{\isin}{\sqsubseteq}
-\newcommand{\nothaspatch}{\mathrel{\,\!\not\relax\haspatch}}
+\newcommand{\nothaspatch}{\mathrel{\,\not\!\not\relax\haspatch}}
\newcommand{\notpatchisin}{\mathrel{\,\not\!\not\relax\patchisin}}
\newcommand{\haspatch}{\sqSupset}
\newcommand{\patchisin}{\sqSubset}
%\newcommand{\zhaspatch}{\mathrel{\underset{\fullmoon}\sqSupset}}
-\newcommand{\zhaspatch}{\mathrel{\sqSupset_\varnothing}}
+\newcommand{\zhaspatch}{\mathrel{\sqSupset_\varnothing\mkern-4mu}}
\newif\ifhidehack\hidehackfalse
\DeclareRobustCommand\hidefromedef[2]{%