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