模块不一致的命令是什么？

Question

模全等的符号是 ≡ ，可以用 生成\equiv。

例如，

18 ≡ 0 (mod 9)

表示非模全等的符号是什么？如何在 TeX 中表示它？

我读了一些参考资料（包括这个) 却没有找到它。

Answer 1

LaTeX 中符号的否定通常是在其前面加上 来实现的\not。例如

\documentclass{article}
\begin{document}
$18 \equiv 0\ (\textrm{mod}\ 9) \not\equiv 2\ (\textrm{mod}\ 9)$
\end{document}

对于更复杂、更大或更长的符号，您可以使用cancel包裹在这些情况下\not可能无法提供足够集中的否定。centernot包裹还\not为水平尺寸较大的符号提供居中功能。

≢ 字符在 Unicode 中的编码为 U+2262，可以直接用 输入unicode-math。它的命令在许多软件包中都有，\nequiv包括unicode-math、pxfonts、txfonts、newpxmath、newtxmath、stix、stix2和。mnsymbolfdsymbol

其他符号查找技术参见如何查找符号或识别数学符号或字符？

Answer 2

这是另一种使用https://ctan.org/pkg/unicode-math，因此需要LuaLaTeX或XeLaTeX。该示例使用各种模数包的宏amsmath。

\documentclass{memoir}
\usepackage{fontspec,amsmath,unicode-math}

\begin{document}
Here's to you, Donald and Leslie; 
\begin{align*}
    18 & \equiv 0 \bmod 9, \\
    18 &\nequiv 1  \mod 9, \\
    18 & \equiv 0 \pmod 9, \\
    18 &\nequiv 1  \pod 9.
\end{align*}
\end{document}