B..2 等号の否定

\bgroup\color{red}$ =$\egroup の否定は TEX では、 \ne とすると説明されるが ( \bgroup\color{red}$ \ne$\egroup が出力される)、 日本の学校数学の教科書では、 斜め線が左上から右下に走る \bgroup\color{red}$ \mathrel{
\setbox 0\hbox{=}\hbox{=}\llap{\hbox to\wd0{\hss$\backslash$\hss}}}$\egroup の形をしていることが多い。
\def\Noteq{\mathrel{%
	\setbox0\hbox{=}\hbox{=}\llap{\hbox to\wd0{\hss$\backslash$\hss}}}}



桂田 祐史