I'm doing some CS theory papers and need to use a monus operator.
Picture below:

What package should I use to be able to use it? I've Google'd, but nothing came up.
Thanks for the help.
I'm doing some CS theory papers and need to use a monus operator.
Picture below:

What package should I use to be able to use it? I've Google'd, but nothing came up.
Thanks for the help.
Keeping this up for visibility since there doesn't seem to be any similar question on StackExchange.
Use \dotdiv from package mathabx.
While \dotdiv from mathabx could be used (see Importing a Single Symbol From a Different Font), it would waste a math family.
Here's a way without any package other than amsmath.
\documentclass{article}
\usepackage{amsmath}
\providecommand{\dotdiv}{% Don't redefine it if available
\mathbin{% We want a binary operation
\vphantom{+}% The same height as a plus or minus
\text{% Change size in sub/superscripts
\mathsurround=0pt % To be on the safe side
\ooalign{% Superimpose the two symbols
\noalign{\kern-.35ex}% but the dot is raised a bit
\hidewidth$\smash{\cdot}$\hidewidth\cr % Dot
\noalign{\kern.35ex}% Backup for vertical alignment
$-$\cr % Minus
}%
}%
}%
}
\begin{document}
$a-b\dotdiv c_{\dotdiv}$
\end{document}

\dotdiv or \dotminus or unicode U+2238? if it is really different, and a published reference can be cited, i will be happy to submit it for unicode consideration.
– barbara beeton
Dec 01 '13 at 15:10
mathabx has the known side effects.
– egreg
Dec 01 '13 at 16:51
\providecommand{\dotdiv} with \ProvideDocumentCommand{\dotdiv}{} (don't forget the {}).
– egreg
May 24 '23 at 13:56
This is obsession!
\documentclass{article}
\usepackage{tikz,amsmath}
\newcommand{\Monus}{%
\mathop{%
\text{%
\begin{tikzpicture}
\fill (0,1ex) circle (0.75ex);
\draw[thick] (-3ex,-.5ex) -- (3ex,-.5ex);
\end{tikzpicture}%
}
}
}
\begin{document}
$A \Monus B_{\Monus B}$
\end{document}

\dotdivor\dotminusin the list of symbols, but they *don't* solve the problem. Closing as a duplicate of "how to look up" is meaningful only if the symbol is available without any special package that might change the appearance of all symbols. – egreg Dec 01 '13 at 10:29tikzsolution). If the question is closed as a duplicate and this is not what the OP was after, I'm sure re-open votes would be cast. – Werner Dec 02 '13 at 07:19