Более длинный символ для ``неделящегося''

Question

Некоторое время назад мне понадобился больший \nmid. От

Почему \big\mid не работает?

Я нашел решение с помощью \bigm\vert. Теперь мне нужен символ «неделения», который больше, чем \nmid. Я вижу несколько способов сделать его больше, но он должен быть совместим с \bigm\vert. Как это сделать?

Answer 1

Я воссоздал новый, \nmidиспользуя ваш стартовый \bigm\vert, вставленный \nnmidв макрос, который точно имитирует "неделящийся" более крупный символ, и он идеально совпадает с вашим \bigm\vert. Надеюсь, я ответил на ваш вопрос.

\documentclass[a4paper,12pt]{article}

\usepackage{amsmath,amssymb}
\usepackage{graphicx}
\newcommand{\nnmid}{\bigm\vert\kern-1.5ex\raisebox{.4ex}{\rotatebox[origin=c]{40}{--}}}

\begin{document}
\[a\nmid b \nnmid  d\bigm\vert c\]

\end{document}

Вы также можете выбрать этот MWE, где знак минус означает большую щепотку.

\documentclass[a4paper,12pt]{article}

\usepackage{amsmath,amssymb}
\usepackage{graphicx}
\newcommand{\nnmid}{\bigm\vert\kern-2.2ex\raisebox{.4ex}{\rotatebox[origin=c]{40}{$-$}}}

\begin{document}
\[a\nmid b \nnmid  d\bigm\vert c\]

\end{document}