Algebraisches Symbol: a dividiert b oder a nicht dividiert b

Question

Ich beziehe mich auf meine Zeit an der Universität. Ich denke, dass die üblichen Symbole zum Schreiben von „das ateilt“ boder „das ateilt nicht“ bdie in diesem kompilierbaren Beispiel sind.

\documentclass[a4paper,12pt]{article}
\usepackage{amssymb}
\begin{document}
\[a\mid b, \quad a\nmid b\]
\end{document}

Ich erinnere mich, dass der vertikale Balken länger und mit kleineren Buchstaben gezeichnet war, wie diese Zeichnung, natürlich alles proportional.

Gibt es spezielle Pakete, LaTeXdie diesen Ansatz automatisch erstellen und sich vom Standardansatz unterscheiden?

Answer 1

So geht's mit dem Paket leftidxund bzw. der negierten Version stackinsetvon stackengine:

\documentclass{article}
\usepackage{leftidx}
\usepackage{stackengine, graphicx}
\newcommand{\divides}[2]{\leftidx{^{#1}}{\Big\vert}{_{#2}}}
\newcommand{\ndivides}[2]{\leftidx{^{#1}}{\nBigvert}{_{#2}}}

 \newcommand{\nBigvert}{\stackMath\mathord{\stackinset{l}{0.15ex}{c}{0ex}{\rotatebox{45}{$\relbar $}}{\Big\vert}}}

\begin{document}

$\divides{\mathsf{a}\mkern-1.5mu}{\mathsf{b}}\quad \ndivides{\mathsf{b}\mkern-1.5mu}{\mathsf{a}}$

\end{document}