Símbolo algébrico: uma divisão b ou uma não divisão b

Question

Refiro-me ao meu período quando estava na Universidade. Penso que os símbolos habituais para escrever que adivide bou que anão divide bsão os deste exemplo compilável.

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

Lembro que a barra vertical foi desenhada mais longa e com letras menores como esse desenho, tudo proporcional, claro.

Existem pacotes específicos LaTeXque criam automaticamente esse tipo de abordagem diferente da padrão?

Answer 1

Aqui está como fazer isso com package leftidxe, na versão negada, stackinsetfrom 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}