\not 的符号有时会垂直呈现

Question

我希望这个问题不是重复的，但经过一番研究后我没有发现任何与该论点相关的内容。

我的问题如下。我注意到，当我\not与某些标准数学符号（例如\models和\subseteq)）结合使用时，生成的条形是垂直的，而不是像我在书籍和论文中通常看到的那样是对角的。

我正在使用llncs文档类以及包amsmath、amsfonts和amssymb。

\nVdash有趣的事实是，穿过符号的条是正确的对角线，但是（来自同一个包）amssymb显示的条是垂直的。$\nsubseteq$

有没有什么办法可以让我的对角线恢复原状？

谢谢。

================

奇怪的是，我无法在新文档中复制该问题。也许我的某个宏搞错了？

================

问题解决了。我实际上是在其中一个宏文件中导入了 mathabx。非常感谢！

Answer 1

您可能正在使用mathabx，其符号中也有垂直否定线：

\documentclass{article}
%\documentclass{llncs}
\usepackage{amsmath}
%\usepackage{amssymb}
\usepackage{mathabx}
\begin{document}
\[\nVdash\nsubseteq\]
\end{document}

无包装mathabx：

\documentclass{article}
%\documentclass{llncs}
\usepackage{amsmath}
\usepackage{amssymb}
%\usepackage{mathabx}
\begin{document}
\[\nVdash\nsubseteq\]
\end{document}

顺便说一句，课程llncs似乎不相关，因此我用标准article课程替换了它。