div equivalent to mod

Question

What's the easiest way to define a \bdiv equivalent to \bmod, i.e., a binary operator for integer division?

I tried \meaning\bmod, but got very primitive TeX commands, so I'm sure there's a higher-level way to define it that would give me the Roman font and binary operation spacing.

Answer 1

You can find the definition of \bmod in latex.ltx or source2e. The example below just replaces mod with div:

\documentclass{article}

\makeatletter
\newcommand*{\bdiv}{%
  \nonscript\mskip-\medmuskip\mkern5mu%
  \mathbin{\operator@font div}\penalty900\mkern5mu%
  \nonscript\mskip-\medmuskip
}
\makeatother

\begin{document}
\[ a\bmod b \]
\[ a\bdiv b \]
\end{document}