代數符號：a 可除 b 或不可除 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

以下是如何使用 packageleftidx和否定版本執行此操作，stackinset來自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}