全角否定記号

「ではない」を表し、幅広の形は東アジアの文字配置に使われます。 日本語ではこの幅を「全角」と呼びます。￢は一文字分のセルを占め、¬はそれより狭い形です。幅広の否定記号は中国語・日本語・韓国語の文字と同じ行に配置でき、どちらも論理否定を表します。

ジュゼッペ・ペアノは1897年、否定を表すためにチルダ（~）を使いました。この年は論理演算の表記法に関するもので、￢そのものの年代ではありません。

Shift-JIS変換について、IBMの2016年のガイドではバイト0x81CAが¬に対応し、代わりにCP943を推奨しています。古いデータを変換するときは、￢と¬が区別されたままか確認してください。