Как получить более длинный \nmid

Question

Я нахожу, что \midнемного коротковато, поэтому я всегда использую \,\big|\,вместо \mid. Но я не знаю, как сделать более длинный \nmid. \not\midили, \not |очевидно, не производит \nmid, поэтому то, что я сделал для более длинного, \midне работает. Не могли бы вы дать мне несколько идей? Спасибо!

Answer 1

А пока, надеюсь, вы извините меня, если я отвечу на ваш вопрос этими ссылками, но я думаю, что они помогут вам найти половину ответа:Почему \big\mid не работает?,\middle слишком большой.

Вот мой MWE, использующий scalerelпакет, чтобы иметь большой \nmid. В \scaleobj{...}него можно поместить масштабный коэффициент.

\documentclass[a4paper,12pt]{article}
\usepackage{amsmath,amssymb}
\usepackage{scalerel}


\begin{document}
\[a\mathbin{\scaleobj{1}{\nmid}} b\]
\[\begin{Vmatrix}
1 & 2 & 3\\
a & b & c
\end{Vmatrix}\mathbin{\scaleobj{2}{\nmid}} \begin{Vmatrix}
7 & 2 & 1\\
a & b & c
\end{Vmatrix}\]

\end{document}