如何正确排版 ::=

Question

::=如何排版BNF 语法的句法类别定义中使用的等号？

我想在打字机字体（使用\texttt）和数学模式下使用它。

\texttt{::=}和$::=$（或）都$:\coloneqq$很丑。

Answer 1

像这样？

\documentclass[a4paper, 11pt]{book}
\usepackage[utf8]{inputenc}
\usepackage{mathtools}

\newcommand{\Coloneqq}{\mathrel{\vcenter{\hbox{$:$}}{\coloneqq}}}

\begin{document}

    \[ A \Coloneqq B \]

\end{document}