Unicode: 2204. Alias: Esc !ex Esc. Compound operator. ∄_xy is by default interpreted as NotExists[x,y].
\[Not]
(Mathematica Character Name) Unicode: 00AC. Aliases: Esc ! Esc, Esc not Esc. Prefix operator with built-in evaluation rules. ¬ x is by default interpreted as Not[x], equivalent to !x.
Unicode: 00B6. Letter-like form.
Unicode: 0026. Raw operator. Equivalent to the ordinary ASCII character with code 38.
Unicode: 003A. Raw operator. Equivalent to the ordinary ASCII character with code 58.
Unicode: 002C. Raw operator. Equivalent to the ordinary ASCII character with code 44.
Unicode: 0024. Letter-like form. Equivalent to the ordinary ASCII character with code 36.
Unicode: 0021. Raw operator. Equivalent to the ordinary ASCII character with code 33.
Unicode: 0025. Raw operator. Equivalent to the ordinary ASCII character with code 37.
Unicode: 002B. Raw operator. Equivalent to the ordinary ASCII character with code 43.