Comment obtenir un \ nmid plus long

Question

Je trouve que \midc'est un peu court, donc je l'utilise toujours à la \,\big|\,place \mid. Mais je ne sais pas comment faire plus \nmid. \not\midou \not |évidemment ne produit pas \nmid, donc ce que j'ai fait plus longtemps \midne fonctionne pas. Pouvez-vous me donner quelques idées? Merci!

Answer 1

En attendant, j'espère que vous m'excuserez si je réponds à votre question avec ces liens, mais je pense qu'ils vous aident à trouver la moitié de la réponse: pourquoi \ big \ mid ne fonctionne pas? , \ milieu trop grand .

Voici mon MWE utilisant scalerelpackage pour avoir un gros \nmid. Dans \scaleobj{...}vous pouvez mettre un facteur d'échelle.

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