为什么\not{=}允许在 之前换行=？请注意，\not=不允许换行。
\documentclass{article}
\begin{document}
\vbox{\hsize=0pt\relax $a\not{=}b$}
\vbox{\hsize=0pt\relax $a\not=b$}
\end{document}
（我误以为这\not是一个接受参数的宏，但事实上\not=\mathchar"3236。）
答案1
如果你排版$a\not{=}b$，你会看到
Knuth 优化：\not是一个宽度为零的数学关系符号，但字形延伸到边界框之外，因此被放置在以下关系的中间（连续的 Rel 原子之间没有添加空格）。
然而{=}不是一个 Rel 原子，而是一个 Ord 原子。
因此，您得到了\not，thickmuskip，=。并且允许休息。
请参阅 Heiko Oberdiek 的centernot软件包，看看当下面的符号不如等号宽时它如何克服这个问题。
首选输入实际上是\neq或\ne，它们具有相同的结果，甚至可以使用某些字体给出更好的结果。
答案2
\mathord
.\fam1 a
\mathrel
.\fam2 6
\mathord
.\mathrel
..\fam0 =
\mathord
.\fam1 b
就像\not{}这样，您获得了一个不允许破坏的 mathrel，然后{=}是 mathord =