¬
Jump to navigation
Jump to search
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.