寻找符号 :=

Question

我正在寻找符号 := 和符号 ::=

第一个意思是“表达为”（例如，句子 A 是表示为: 是两个单词 bcd 的并置，第二个表示“定义为”，在逻辑和语言理论的各种应用中。在 Linux 中，一个接一个地输入 :=（在 kile 或 lyx 中）会导致字符垂直错位。我希望 : 的两个点之间的中心点和通过 = 的两条线的中心线在同一条线上，但通常 = 的位置太高，而且它们之间的空间太大，而 -0.1 em 的负空间看起来并不好。

谁能帮忙，告诉我在哪里可以找到这两个符号？

Answer 1

\documentclass{article}
\usepackage{mathtools}

\begin{document}

\[
\coloneqq\quad\Coloneqq
\]

\end{document}

Answer 2

正如综合 LaTeX 符号列表在第 31 页，这些符号也可以通过这种方式获得（不包括新包）

\mathrel{\mathop:}=

\mathrel{\mathop:\mathop:}=

对于第二个，添加负数\hspace，使符号更简洁：

\mathrel{\mathop:\hspace{-.2em}\mathop:}=

Answer 3

您可以使用包制作这些符号txfonts/pxfonts：

\documentclass{article}
\usepackage{txfonts}
\begin{document}
$\coloneqq \Coloneqq$
\end{document}

注意：还可以尝试texdoc symbols-a4在命令行中加载符号列表。