等号に斜線を重ねた記号(≠)——少なくともオイラーの時代から数学で使われ、否定された関係を表す記号のファミリー全体の元になっており、ASCIIには収録されなかったため、プログラミングでは代わりに != が使われています。クリックでコピーできます。
不等号(≠、U+2260)は等号に斜線を組み合わせたものです——Unicode自身の分解表現でも、これは文字通り「=」に結合用の斜線オーバーレイ(U+0338)を重ねたものとして示されており、これは≁、≉、≢、≮、≯という否定された関係記号のファミリー全体を生み出す同じ記号です。斜線による否定という慣習は、ロバート・レコードが1557年に「=」そのものを発明したのとは別の、それより後の話です——確認されている最古の使用例は、18世紀のレオンハルト・オイラーの書簡にさかのぼりますが、数学史の研究者たちは、この記号がオイラーによって使われたのであって、必ずしも彼が発明したわけではないと慎重に述べています。ASCIIには≠のための場所が割り当てられなかったため、プログラミング言語はそれぞれ独自の代替記号を採用しました——C系言語の!=、SQLやPascalの<>、LuaやMATLABの~=、FortranやHaskellの/=——このため、数学記号と実際にコードで入力する記号は、ほとんどの場合、同じ文字にはなりません。
数学記号と、≠自体が文字セットに含まれたことがなかったために各プログラミング言語が採用したASCIIの代替記号。
≠は独りぼっちではありません——Unicodeの数学演算子ブロックには、同じ斜線オーバーレイで他のいくつもの関係記号が否定されています。
確認されている最古の使用例は、18世紀のレオンハルト・オイラーの書簡にさかのぼりますが、数学史の研究者は、この記号がオイラーによって使われたのであって、必ずしも彼が発明したわけではないと述べています。等号に斜線を重ねる表現方法自体は、ロバート・レコードが1557年に「=」を発明したのとは別の、より後の話です。
ASCII文字セットには≠のための場所が割り当てられなかったためです。そのためプログラミング言語はそれぞれ独自の代替記号を採用しました——C系言語の!=、SQLやPascalの<>、LuaやMATLABの~=、FortranやHaskellの/=——数学記号と実際にコードで打つ記号がほとんどの場合一致しないのはこのためです。
はい。同じ斜線オーバーレイ(結合用文字U+0338)を使って、≁(非同値)、≉(近似等号の否定)、≢(非合同)、≮(小なりの否定)、≯(大なりの否定)という関係記号のファミリー全体が作られています。