¬
Appearance
See also: ㄱ
|
Character variations
|
Translingual
[edit]Etymology
[edit]Introduced by Arend Heyting in “Die formalen Regeln der intuitionistischen Logik” (1930)[1]
Symbol
[edit]¬
Usage notes
[edit]- When used in a symbolic logic context, this symbol can be called tilde.