# strike out unification ($\sqcup$)

I need to denote that two varibles do not unify. A \not \sqcup B produces an unpleasant result:

Is there a symbol where the strikeout line is centered likd in $\neq$?

Maybe using \slashed or \centernot (as egreg suggests)?

\documentclass{article}

\usepackage{amsmath}
\usepackage{slashed}
\usepackage{centernot}

\begin{document}

$A \sqcup B$
$A \mathbin{\slashed{\sqcup}} B$
$A \centernot\sqcup B$

\end{document}


• I also suggest centernot – egreg May 14 '17 at 8:45
• @egreg of course, thanks. In this case, however, I think it looks a little better with \slashed :-) – karlkoeller May 14 '17 at 9:00