代数符号：a除b或a非除b

Question

我指的是我上大学的时候。我认为通常用来表示除法a或b不a除法的符号b就是这个可编译示例中的符号。

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

我记得垂直线画得更长，字母更小，就像这张图一样，当然都是按比例的。

是否有特定的包可以LaTeX自动创建这种不同于标准的方法？

Answer 1

以下是使用包leftidx和否定版本执行此操作的方法：stackinsetstackengine

\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}