>>86
ありがとうございます。
usepackage に centercolon.sty を指定したら、今度は \coloneqq の方がエラーになったので、
諦めて、手入力で妥協することにしました。コロンの位置が下にずれるのが気に入りませんが。