引入宏包:/usepackage{txfonts} 这样的话就能表示::=这类特殊的数学符号。 如果还不行在添加 /usepackage{amsmath} /usepackage{amssymb} /usepackage{amsthm}