\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]{%