Símbolo algebraico: una b dividida o una b no dividida

Question

Me refiero a mi época cuando estaba en la Universidad. Creo que los símbolos habituales para escribir que adividen bo que ano dividen bson los de este ejemplo compilable.

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

Recuerdo que la barra vertical estaba dibujada más larga y con letras más pequeñas como este dibujo, todo en proporción, claro.

¿Existen paquetes específicos LaTeXque crean automáticamente este tipo de enfoque diferente al estándar?

Answer 1

Aquí se explica cómo hacerlo con el paquete leftidxy, en la versión negada, stackinsetdesde 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}